Dear Lonnie,
If it can be worked out in some way [..]
If you are targeting a native UEFI system, try the "efiimage" target that generates a binary that can be booted directly from UEFI (just make sure you boot the .efi file, not the .elf file). Or you can use the "chainloader" command if you already use GRUB 2 as your boot loader for UEFI.
The framebuffer example should use the GOP framebuffer and not rely on the VESA BIOS in this case.
If you also need an ISO image for UEFI, there is a patch upstream that provides the "grub2efiiso" target as a convenience [1] (not in the snapshot release yet).
[1] https://github.com/kernkonzept/mk/commit/ce9a28f474c2da4187a0c8f0ca2e43c288b...
Best regards
Martin Decky _______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de