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