Booting NetBSD via VxWorks loader?

[Andrew Gillham <gillham%gmail.com@localhost>]

I have an x86 box with a serial console and a custom app based on vxworks installed.
Has anyone experimented with loading NetBSD via the vxworks boot loader?  It apparently can load ELF binaries but tries to load the kernel at the ELF header location and fails.

I've been searching around the net and found some vague information suggesting that it should be possible to get the VxWorks loader to boot redboot.elf and then use that to load whatever.

I've made a couple of attempts to get something to load and output to the serial port, but so far no luck, so I'm not sure the code is even getting onto the box properly.

Anyway, if somebody has any experience with VxWorks & NetBSD I would appreciate any suggestions.

-Andrew