Real Time Linux on Tegra K1 SOC

I want to make an image processing application with using the Tegra K1 SOc and with the Jetson TK1 development kit. I will use Opencv so I must use an Linux OS. Are there any Real Time OSes that can I use on the SOC. ALso it is preferable that the OS must have the DO178b standard. SO is there a OS like Vxworks or another that can I use on the SOC.As I know Vxworks does not have Opencv support.