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:[email protected]] On Behalf Of Peter Stuge Sent: Thursday, May 22, 2014 3:31 PM To: [email protected] 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: [email protected] 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 -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
