How to build a bootable l4linux image

"郭聪" <[email protected]> Mon, 04 Jul 2022 17:27:58 +0800

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hi,

I am new to l4re. I am trying to boot a l4re image on an amd64 machine. I use dd to write pre-built-images (efi.iso) to a usb stick. I got the "no suitable video mode found" error. My BIOS has only the UEFI mode. How can I solve this error? 

BTW, I find how to build grub2iso of modules, but I do not know how to build a efi.iso like those pre-built ones. Could you please tell me the steps to build such an image? How can I modify the grub.conf file? Thank you!

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers