Hello World

Qemu direct

x86_64

cd ~/l4re-snapshot-2013041500/obj/l4/amd64
make qemu

qemu-system-x86_64 -kernel /home/rw/l4re-snapshot-2013041500/obj/l4/amd64/bin/amd64_K8/bootstrap -append "bootstrap -modaddr 0x01100000" -initrd "/home/rw/l4re-snapshot-2013041500/obj/fiasco/amd64/fiasco -serial_esc,/home/rw/l4re-snapshot-2013041500/obj/l4/amd64/bin/amd64_K8/l4f/sigma0 ,/home/rw/l4re-snapshot-2013041500/obj/l4/amd64/bin/amd64_K8/l4f/moe --init=rom/hello,/home/rw/l4re-snapshot-2013041500/obj/l4/amd64/bin/amd64_K8/l4f/l4re ,/home/rw/l4re-snapshot-2013041500/obj/l4/amd64/bin/amd64_K8/l4f/hello " -serial stdio

Grub2iso

Nach der Anleitung L4Re Tutorial:

cat > /home/rw/l4test/modules.list << EOF
modaddr  0x002000000

entry hello
  kernel   fiasco -serial_esc
  roottask moe rom/hello.cfg
  module   l4re
  module   ned
  module   hello.cfg
  module   hello
EOF
cp /home/rw/l4re-snapshot-2013041500/l4/src/l4/conf/examples/hello.cfg /home/rw/l4test
cd /home/rw/l4re-snapshot-2013041500/obj/l4/amd64
make grub2iso E=hello MODULES_LIST=/home/rw/l4exp/l4test/modules.list MODULE_SEARCH_PATH=/home/rw/l4exp/l4test/:/home/rw/l4exp/l4re-snapshot-2013060718/obj/l4/amd64
qemu-system-x86_64 -cdrom images/hello.iso -serial stdio

funktionierte erst nach der Anwendung des Patches von http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005903.html, allerdings funktionert die "make qemu' - nicht mehr direkt, ....

x86

 make grub2iso E=hello MODULES_LIST=/home/rw/l4exp/l4test/modules.list MODULE_SEARCH_PATH=/home/rw/l4exp/l4test/:/home/rw/l4exp/l4re-snapshot-2013060718/obj/l4/x86