"Ronald G. Minnich" rminnich@lanl.gov writes:
if you folks figure out vxworks from linuxbios and write it up I can put it in the FAQ
For this and possibly for the plan9 support I will except patches to mkelfImage. As of version 2.0 it has an infrastructure that allows for adding code for various targets.
And the code is all in C so it is fast.
ftp://ftp.lnxi.com/pub/src/mkelfImage/
Basically to load vxworks at 0x8000 you just need an ELF header that says load me here. And probably a bit of adapter code that switches from 32bit protected mode to 64bit protected mode.
Eric