Hello,
On 01.10.2017 15:38, Edward Sandberg wrote:
Hello,
I sent the following email to the sel4 mailing list but this may be a better fit. I built Genode 17.08 with run option "image/uefi" and platform option "sel4_x86_32". I have tried booting the resulting image on a variety of machines but am not getting the behavior I expect. The machines I have tried are:
- Up board (a Windows compatible Atom-based system)
- Dell M3800 laptop
- Dell Latitude 7280 laptop
- HP ProLiant DL380 Gen9 Server
- Dell Optoplex 990
- Asus P9X79 WS Motherboard with Intel Core i7-3930K
The furthest I have gotten was on the UP board, which only supports UEFI boot:
https://www.intel.com/content/www/us/en/support/emerging-technologies/intel-...
I saw serial output but no graphical output (see below). The other machines I tried to boot on didn't even give me serial output. The
The seL4 kernel has a option to manually specify the ioports for a serial device. If you find them out for your machine (using Linux/Windows), you may add the cmdline option 'console_port' with the io_port information to the seL4 kernel in
tool/run/boot_dir/sel4
(I never tried it, but reading from the source code it should do)
serial output seems to indicate that an attempt to create a framebuffer failed.
Is this the correct build procedure?
Graphical support with UEFI boot for Genode/seL4 may work with the Intel framebuffer driver (example in intel_fb.run), if you have a Intel graphic card.
The second option, the fb_drv, which uses the VESA Bios, will not work. (We had no luck with it, but did also not investigated too much.)
The third framebuffer option (fb_boot_drv component) will not work with Genode/seL4, but with Genode/NOVA. Grub2 can initialize the framebuffer utilizing UEFI interfaces/mechanism. The information about the framebuffer location, size, color depth etc. are propagated by GRUB2 (when using Multiboot 2) to the kernel. For NOVA we have support to propagate this information further to Genode and further to fb_boot_drv. This support of propagation of the framebuffer information is however missing in the seL4 kernel and in Genode/seL4 version of 'core' (the roottask in seL4 speak).
What hardware have you used to test UEFI boot?
Recent Lenovo notebooks, with intel_fb_drv and fb_boot_drv.
Does the trace below suggest any experiments to try?
As pointed out above, for Genode/seL4 the only option for now is the Intel driver (if you have the hardware of course). The effort to support the framebuffer initialized by Grub2/UEFI is expected to be not too hard (as it already done for Genode/NOVA).