Have a great day,
For sure T2080 based systems support Vxworks. WindRiver provides VxWorks 6.9.4 BSP for Freescale QorIQ T2080 QDS board. I would recommend you to contact Wind River for Vxworks support.
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------