I see from the L4T driver package documentation about uboot:
There is a ‘bootvx’ command which says ‘Boot vxWorks from and ELF image’.
Is it possible to run VxWorks on the Jetson TK1?
There seems to be a few BSPs already for the Arm A15
Any plans to support this for the TK1 or the K1 in general?
Anyone managed to boot VxWorks on the TK1?