VxWorks or other RT Kernels

Autonomous Machines Jetson & Embedded Systems Jetson TK1
#1

I see from the L4T driver package documentation about uboot:

https://developer.nvidia.com/sites/default/files/akamai/mobile/files/L4T/Tegra_Linux_Driver_Package_UBoot_R19.3.pdf

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
https://bsp.windriver.com/index.php?bsp&on=list&type=architecture&value=ARM

Any plans to support this for the TK1 or the K1 in general?
Anyone managed to boot VxWorks on the TK1?

#2

The bootvx command is included from the upstream uboot source http://git.denx.de/cgi-bin/gitweb.cgi?p=u-boot.git;a=summary, but I doubt there will be hw-accelerated support outside of L4T or Android.