VxWorks or other RT Kernels

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?

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.