Hello, I'm working on Fiasco, l4Re and l4Linux. I build the uImage for an arm architecture. When I boot it, I have a "panic: going to sleep forever, bye". Can someone help I don't know what caused the problem. This is the information I have on my console when I boot: L4 Bootstrapper Build: #10 Thu Mar 6 11:11:19 CET 2014, 4.7.3 Scanning up to 128 MB RAM Memory size is 128MB (80000000 - 87ffffff) RAM: 0000000080000000 - 0000000087ffffff: 131072kB Total RAM: 128MB mod07: 813f7000-816f7000: ramdisk-arm.rd mod06: 81125000-813f6480: vmlinuz.arm mod05: 81124000-81124189: l4Linux.cfg mod04: 810d1000-81123bc0: ned mod03: 810b7000-810d0458: l4re mod02: 81085000-810b6624: moe mod01: 8107b000-8108433c: sigma0 mod00: 81015000-8107a3a8: fiasco Moving up to 8 modules behind 81100000 moving module 00 { 81015000-8107a3a7 } -> { 817e2000-818473a7 } [414632] moving module 01 { 8107b000-8108433b } -> { 81848000-8185133b } [37692] moving module 02 { 81085000-810b6623 } -> { 81852000-81883623 } [202276] moving module 03 { 810b7000-810d0457 } -> { 816f7000-81710457 } [103512] moving module 04 { 810d1000-81123bbf } -> { 81711000-81763bbf } [338880] moving module 05 { 81124000-81124188 } -> { 81100000-81100188 } [393] moving module 06 { 81125000-813f647f } -> { 81101000-813d247f } [2954368] moving module 07 { 813f7000-816f6fff } -> { 813d3000-816d2fff } [3145728] moving module 03 { 816f7000-81710457 } -> { 816d3000-816ec457 } [103512] moving module 04 { 81711000-81763bbf } -> { 816ed000-8173fbbf } [338880] Scanning fiasco Scanning sigma0 Scanning moe rom/l4Linux.cfg Relocated mbi to [0x8100e000-0x8100e12a] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x80002000 Regions of list 'regions' [ 80001000, 80001b3f] { b40} Kern fiasco [ 80002000, 80072fff] { 71000} Kern fiasco [ 80090000, 800965fb] { 65fc} Sigma0 sigma0 [ 80098000, 8009e17b] { 617c} Sigma0 sigma0 [ 80140000, 8016cacb] { 2cacc} Root moe [ 80170000, 80186f0f] { 16f10} Root moe [ 81000000, 810143f3] { 143f4} Boot bootstrap [ 8100e000, 8100e227] { 228} Root Multiboot info [ 81100000, 8173fbbf] { 63fbc0} Root Module API Version: (87) experimental Sigma0 config ip:80090100 sp:81013de4 Roottask config ip:80140260 sp:00000000 Starting kernel fiasco at 80001300 Hello from Startup::stage2 Cache config: ON ID_PFR[01]: 00001131 00000011 ID_[DA]FR0: 00010400 00000000 ID_MMFR[04]: 01100003 20000000 01202000 00000211 Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden Rev: rUnversioned director compiled with gcc 4.7.3 for Beagleboard [] Build: #1 Wed Mar 5 17:15:13 CET 2014 Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 80002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:80000000;80000fff] [0:80073000;8008ffff] [0:80097000;80097fff] [0:8009f000;8013ffff] [4:80140000;8016cfff] [0:8016d000;8016ffff] [4:80170000;80186fff] [0:80187000;8100dfff] [4:8100e000;8100efff] [0:8100f000;810fffff] [4:81100000;8173ffff] [0:81740000;86ffffff] IOMEM:---------------------- [0:0;7fffffff] [0:88000000;ffffffff] MOE: Hello world MOE: found 107500 KByte free memory MOE: found RAM from 80000000 to 87000000 MOE: allocated 112 KByte for the page array @0x80073000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [816d3000-816ec458] [C:503000] l4re BOOTFS: [816ed000-8173fbc0] [C:504000] ned BOOTFS: [81100000-81100189] [C:505000] l4Linux.cfg BOOTFS: [81101000-813d2480] [C:506000] vmlinuz.arm BOOTFS: [813d3000-816d3000] [C:507000] ramdisk-arm.rd MOE: cmdline: moe rom/l4Linux.cfg MOE: Starting: rom/ned rom/l4Linux.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4Linux.cfg' l4Linux | libio: Warning: Query of 'vbus' failed! l4Linux | PH 0 (t: 1) offs=00008000 vaddr=01000000 vend=01331b1c l4Linux | phys=01000000 ephys=01331b1c l4Linux | f_sz=002b33d4 memsz=00331b1c flgs=rwx l4Linux | PH 1 (t: 4) offs=002bb3b0 vaddr=012b33b0 vend=012b33d4 l4Linux | phys=012b33b0 ephys=012b33d4 l4Linux | f_sz=00000024 memsz=00000024 flgs=r-x l4Linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4Linux | phys=00000000 ephys=00000000 l4Linux | f_sz=00000000 memsz=00000000 flgs=rwx l4Linux | Starting binary at 0x10002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0 argv0=rom/vmlinuz.arm l4Linux | External resolver is at 0xa8000794 l4Linux | ======> L4Linux starting... <======== l4Linux | Linux version 3.7.0-l4-svn30 (juliens@ubuntu) (gcc version 4.7.2 (Sourcery CodeBench Lite 2012.09-64) ) #1 Wed May 29 10:25:09 CEST 2013 l4Linux | Binary name: rom/vmlinuz.arm l4Linux | This is an AEABI build. l4Linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/bin/sh l4Linux | CPU mapping (l:p)[1]: 0:0 l4Linux | Image: 01000000 - 01400000 [4096 KiB]. l4Linux | Areas: Text: 01000000 - 01290000 [2624kB] (a bit longer) l4Linux | Data: 01290000 - 012aeee0 [123kB] l4Linux | Initdata: 01273000 - 0128ed7c [111kB] l4Linux | BSS: 012b33d4 - 01331b1c [505kB] l4Linux | Device scan: l4Linux | Device scan done. l4Linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00, sp:01291fa4) l4Linux | main thread will be 413 l4Linux | l4x_register_pointer_section: addr = 01000000 size = 3350528 l4Linux | section-with-init: virt: 0x1000000 to 0x1331b1b [3270 KiB] l4Linux | section-with-init: Phys: 0x80241000 to 0x80572b1c, Size: 3349276 l4Linux | Main thread running, waiting... l4Linux | L4x: Setting superpages for main memory l4Linux | Main memory size: 64MB l4Linux | Main memory: virt: 0x1400000 to 0x53fffff [65536 KiB] l4Linux | Main memory: Phys: 0x81800000 to 0x85800000, Size: 67108864 l4Linux | Filling lower ptabs... l4Linux | Done (220 entries). l4Linux | l4x_register_pointer_section: addr = 01000000 size = 3350528 l4Linux | text: virt: 0x1000000 to 0x1331b1b [3270 KiB] l4Linux | text: Phys: 0x80241000 to 0x80572b1c, Size: 3349276 l4Linux | l4x_rd_path: rom/ramdisk-arm.rd l4Linux | Loading: rom/ramdisk-arm.rd l4Linux | INITRD: Size of RAMdisk is 3072KiB l4Linux | RAMdisk from 0d400000 to 0d700000 [3072KiB] l4Linux | panic: going to sleep forever, bye Kinds regards and thanks for the help, Ismaël Barakat