Hi
The full output is
L4 Bootstrapper
move modules to 2000000 with offset ed0000
move module 4 start 126e000 (ELF) -> 213e000
move module 3 start 11d0000 (ELF) -> 20a0000
move module 2 start 119c000 (ELF) -> 206c000
move module 1 start 1130000 (ELF) -> 2000000
Scanning /main
Scanning /sigma0
Scanning /roottask
Bootloader MMAP:
[ 0, 9fc00) RAM (1)
[ 9fc00, a0000) reserved (2)
[ e8000, 100000) reserved (2)
[ 100000, 7ff0000) RAM (1)
[ 7ff0000, 8000000) ACPI (3)
[ fffc0000, 100000000) reserved (2)
Relocated mbi to [0x76000-0x760b8]
Loading /main
Loading /sigma0
Loading /roottask
find kernel info page...
found kernel info page at 0x1000
[ 1000, 75fff] Kern /main
[ 76000, 761b5] Root Multiboot info
[ 9fc00, 9ffff] Arch BIOS
[ e8000, fffff] Arch BIOS
[ 100000, 10a6df] Sigma0 /sigma0
[ 110000, 2c6fff] Root /roottask
[ 2d0080, 2daf57] Boot bootstrap
[ 300000, 34a8af] Kern /main
[ 213e000, 2187e07] Root Modules Memory
[ 7ff0000, 7ffffff] Arch BIOS
[ fffc0000, ffffffff] Arch BIOS
API Version: (87) experimental
Sigma0 config ip:0000000000104780 sp:00000000002da990
Roottask config ip:0000000000110000 sp:0000000000000000
Starting kernel /main at 0000000000300ad0