Booting L4/Fiasco + L4Re on PC
=?ks_c_5601-1987?B?vK7H9sO2?= <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hello.
I¡¯ve tried to boot L4/Fiasco on PC.
I followed the directions for building from both ¡°http://os.inf.tu-dresden.
de/fiasco/build.html¡± and ¡°http://os.inf.tu-dresden.de/L4Re/build.html¡±
And I could run L4/Fiasco on QEMU.
Now I hope I want to boot L4 on PC environment.
As I searched, it can be done through GRUB. (But, I am not convinced that
it is right way.)
Anyway, I¡¯ve tried to boot L4 by using GRUB.
I use Ubuntu Linux for compiling L4/Fiasco and L4Re. In this, there is
GRUBv2.
I made the bootable ISO image.
(It is done by ¡°make grub2iso E=hello MODULE_SEARCH_PATH={mypath}¡±)
And then, what should I do in order to boot L4 on PC?
How should I configure the GRUB configuration?
I really want to know how to boot L4 on PC. Please, help me!
Kind Regards,
Hyunchul Seok.
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers