Re: [coreboot] booting vxworks from linux BIOS

[Peter Stuge]

Stojsavljevic, Zoran wrote:
> There is possibility (my best guess) to use VxWorks as coreboot’s
> payload, instead seabios

..
> I can also investigate about booting VxWorks, if required

It would be helpful to know how tightly the VxWorks kernel is tied to
legacy runtime services from x86 BIOS and/or UEFI.

If the VxWorks kernel is an ELF binary or similar simple binary
format without very strong ties to legacy runtime services then
it would most likely be straightforward to use a VxWorks kernel
as payload with coreboot.

//Peter

booting vxworks from linux BIOS

[Stojsavljevic, Zoran]

Hello Peter,

I'll try to find answers to these questions. I might even myself build one of these images to try such a creation on IVB EL2.

Please, stay tuned.

Best Regards,
Zoran

-----Original Message-----
From: coreboot [mailto:[e-mail]] On Behalf Of Peter Stuge
Sent: Thursday, May 22, 2014 3:31 PM
To: [e-mail]
Subject: Re: [coreboot] booting vxworks from linux BIOS

Stojsavljevic, Zoran wrote:
> There is possibility (my best guess) to use VxWorks as coreboot’s 
> payload, instead seabios

..
> I can also investigate about booting VxWorks, if required

It would be helpful to know how tightly the VxWorks kernel is tied to legacy runtime services from x86 BIOS and/or UEFI.

If the VxWorks kernel is an ELF binary or similar simple binary format without very strong ties to legacy runtime services then it would most likely be straightforward to use a VxWorks kernel as payload with coreboot.

//Peter