[coreboot] booting vxworks from linux BIOS

Stojsavljevic, Zoran zoran.stojsavljevic at intel.com
Thu May 22 15:55:41 CEST 2014


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:coreboot-bounces at coreboot.org] On Behalf Of Peter Stuge
Sent: Thursday, May 22, 2014 3:31 PM
To: coreboot at coreboot.org
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

--
coreboot mailing list: coreboot at coreboot.org http://www.coreboot.org/mailman/listinfo/coreboot
Intel GmbH
Dornacher Strasse 1
85622 Feldkirchen/Muenchen, Deutschland
Sitz der Gesellschaft: Feldkirchen bei Muenchen
Geschaeftsfuehrer: Christian Lamprechter, Hannes Schwaderer, Douglas Lusk
Registergericht: Muenchen HRB 47456
Ust.-IdNr./VAT Registration No.: DE129385895
Citibank Frankfurt a.M. (BLZ 502 109 00) 600119052


More information about the coreboot mailing list