Hallo all, I'm absolutely new to L4 and need some startup help. I'm able to build Fiasco with L4Re and L4Linux, but I have no plan, how to bind them together. I miss some simple how-to, to get an instance of L4Linux on top of Fiasco like bootable image as well as how to run it under Fiasco-UX Can you provide some instructions and how-tos? Interesting papers and hints for development and debugging are welcome too. Thanking you in anticipation Andrej
On Sat Jun 09, 2012 at 22:08:05 +0200, Andrej S wrote:
I'm absolutely new to L4 and need some startup help.
I'm able to build Fiasco with L4Re and L4Linux, but I have no plan, how to bind them together. I miss some simple how-to, to get an instance of L4Linux on top of Fiasco like bootable image as well as how to run it under Fiasco-UX
The snapshot has setup routines that build a runnable configuration with the necessary paths set. Basic configurations (including ones for L4Linux) are in l4/conf/exmaples. l4/conf/Makeconf.boot is the central file to configure search paths for finding any files and setting up options for Qemu etc. Call 'make help' in root directory of the l4 build tree (for example obj/l4/x86 in the snapshot layout) to see a list of possible image generation targets. UX and running with Qemu is started the same way. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
Hi Adam, thanks for answer. I explored sources given with snapshot little bit and now I'm able to compile and run fiasco-ux. But not all is perfect: 1. I copied fiasco-ux with irq0, moe, ned and sigma0 together, but if I try to run hello-example it quits with FATAL exception in MOE: Exception: No such object found: rom/l4re: backtrace ... 2. I have no idea, which package and why should I give to fiasco-ux to run l4linux. regards Andrej 2012/6/11, Adam Lackorzynski <adam@os.inf.tu-dresden.de>:
On Sat Jun 09, 2012 at 22:08:05 +0200, Andrej S wrote:
I'm absolutely new to L4 and need some startup help.
I'm able to build Fiasco with L4Re and L4Linux, but I have no plan, how to bind them together. I miss some simple how-to, to get an instance of L4Linux on top of Fiasco like bootable image as well as how to run it under Fiasco-UX
The snapshot has setup routines that build a runnable configuration with the necessary paths set. Basic configurations (including ones for L4Linux) are in l4/conf/exmaples. l4/conf/Makeconf.boot is the central file to configure search paths for finding any files and setting up options for Qemu etc. Call 'make help' in root directory of the l4 build tree (for example obj/l4/x86 in the snapshot layout) to see a list of possible image generation targets. UX and running with Qemu is started the same way.
Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
On Sun, Jul 01, 2012 at 08:57:41AM -0500, Andrej S wrote:
But not all is perfect: 1. I copied fiasco-ux with irq0, moe, ned and sigma0 together, but if I try to run hello-example it quits with FATAL exception in MOE: Exception: No such object found: rom/l4re: backtrace ...
Did you miss to copy the l4re binary? Matthias. -- Dipl.-Inf. Matthias Lange <mlange@sec.t-labs.tu-berlin.de> Security in Telecommunications TU Berlin / Telekom Innovation Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.t-labs.tu-berlin.de/sect
On Sun Jul 01, 2012 at 08:57:41 -0500, Andrej S wrote:
thanks for answer. I explored sources given with snapshot little bit and now I'm able to compile and run fiasco-ux.
But not all is perfect: 1. I copied fiasco-ux with irq0, moe, ned and sigma0 together, but if I try to run hello-example it quits with FATAL exception in MOE: Exception: No such object found: rom/l4re: backtrace ...
Go to the l4-obj directory where L4Re was built to and issue: make ux E=hello You'll probably need to setup the path to the Fiasco UX build in l4/conf/Makeconf.boot
2. I have no idea, which package and why should I give to fiasco-ux to run l4linux.
make ux E=L4Linux-mag-x86 or similar. The key here is the l4/conf/modules.list file which contains which files are taken for which boot entry etc. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
participants (3)
-
Adam Lackorzynski -
Andrej S -
Matthias Lange