Arnaud Maye wrote:
Anyone around here as already used coreboot to "boot" a Vxworks system?
I don't know.
Do you know a lot about the boot process of VxWorks? Or do you have good contacts with WindRiver which we can ask?
The ideal for coreboot would be if VxWorks can be started using a self-contained 32-bit ELF file. That's what we use for payload.
It can be a bootloader, or it can even be the kernel itself.
Please let us know if you find out more info.
Of course you can always use SeaBIOS to boot the old-fashioned way.
//Peter