Booting L4/Fiasco + L4Re on PC

[석현철]

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.

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120516/dd49b52f/attachment.html>