On Mon Jun 08, 2015 at 10:43:11 +0200, Mahdi Aichouch wrote:
> Hello l4-hackers,
> 
> I found a thread [1] from 2014 with the identical issue that I have.
> I followed the answer and I applied the solution proposed (which worked in
> the case of the mentioned thread).
> But unfortunately did not worked in my case, I still have the same issue as
> indicated below.
> 
> Any help will be very appreciated.
> 
> Many thanks in advance.

There's also the Linux print-fatal-signals=1 cmdline option which should
print some more info and could give more hints.



Adam



> [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006620.html
> 
> RAMDISK: ext2 filesystem found at block 0
> RAMDISK: Loading 3072KiB [1 disk] into ram disk... done.
> EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities
> EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem
> EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
> VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
> devtmpfs: mounted
> Freeing unused kernel memory: 116K (02313000 - 02330000)
> Kernel panic - not syncing: Attempted to kill init! exitcode=0x00000004
> 
> CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4 #9
> [<0200cdd0>] (unwind_backtrace) from [<02005864>] (show_stack+0x10/0x14)
> [<02005864>] (show_stack) from [<02248d30>] (panic+0x8c/0x1dc)
> [<02248d30>] (panic) from [<0201dfd0>] (complete_and_exit+0x0/0x1c)
> [<0201dfd0>] (complete_and_exit) from [<00000001>] (0x1)
> ---[ end Kernel panic - not syncing: Attempted to kill init!
> exitcode=0x00000004
> 
> panic: going to sleep forever, bye
> l4linux | panic: going to sleep forever, bye
> 
> 
> On Fri, Jun 5, 2015 at 4:31 PM, Mahdi Aichouch <foxme...@gmail.com> wrote:
> 
> > Hello,
> >
> > Thank you Matthias for your answer.
> >
> > I didn't put "/bin/init" as a parameter in the "l4lx.cfg" file.
> > I used the default version of the file and the "init" parameter
> > was not set.
> >
> > I added to the config file "l4lx.cfg" the parameter "init=/bin/sh"
> > but it gives a similar error.  As shown in the debug messages below:
> >
> > RAMDISK: ext2 filesystem found at block 0
> > RAMDISK: Loading 3072KiB [1 disk] into ram disk... done.
> > EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities
> > EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem
> > EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
> > VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
> > devtmpfs: mounted
> > Freeing unused kernel memory: 116K (02313000 - 02330000)
> > Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
> >
> > CPU: 0 PID: 1 Comm: sh Not tainted 3.16.0-l4 #6
> > [<0200cdd0>] (unwind_backtrace) from [<02005864>] (show_stack+0x10/0x14)
> > [<02005864>] (show_stack) from [<02248c90>] (panic+0x8c/0x1dc)
> > [<02248c90>] (panic) from [<0201df3c>] (complete_and_exit+0x0/0x1c)
> > [<0201df3c>] (complete_and_exit) from [<00000001>] (0x1)
> > ---[ end Kernel panic - not syncing: Attempted to kill init!
> > exitcode=0x0000000b
> >
> > panic: going to sleep forever, bye
> > l4linux | panic: going to sleep forever, bye
> >
> > However, I tried the same l4linux with the same ramdisk on a Qemu
> > versatile express ARM Cortex A9,
> > it worked fine and I get a shell prompt.
> >
> > Does someone has an idea of the problem or any hints about how to track
> > down
> > the issue.
> >
> > Many thanks in advance.
> >
> > Best regards,
> > Mahdi
> >
> >
> >
> >
> >
> > On Fri, May 29, 2015 at 4:44 PM, Mahdi Aichouch <foxme...@gmail.com>
> > wrote:
> >
> >> Hello Matthias,
> >>
> >> Thank you for your help.
> >>
> >> I enabled the CONFIG_DEVTMPFS and CONFIG_DEVTMPFS_MOUNT options as you
> >> suggested, as shown below in a piece from a .config file:
> >>
> >> Then I get another error which I think is different from the mount of the
> >> filesystem.
> >> But it is still difficult to say what might be wrong.
> >>
> >> Could you please tell me what should I check to track down the source of
> >> the issue.
> >>
> >> Thanks in advance.
> >>
> >> Best regards,
> >> Mahdi
> >>
> >> ...
> >>
> >> #
> >> # Device Drivers
> >> #
> >>
> >> #
> >> # Generic Driver Options
> >> #
> >> CONFIG_UEVENT_HELPER=y
> >> CONFIG_UEVENT_HELPER_PATH=""
> >> CONFIG_DEVTMPFS=y
> >> CONFIG_DEVTMPFS_MOUNT=y
> >> CONFIG_STANDALONE=y
> >> CONFIG_PREVENT_FIRMWARE_BUILD=y
> >> CONFIG_FW_LOADER=y
> >> CONFIG_FIRMWARE_IN_KERNEL=y
> >> CONFIG_EXTRA_FIRMWARE=""
> >> CONFIG_FW_LOADER_USER_HELPER=y
> >> # CONFIG_DEBUG_DRIVER is not set
> >> # CONFIG_DEBUG_DEVRES is not set
> >> # CONFIG_SYS_HYPERVISOR is not set
> >> # CONFIG_GENERIC_CPU_DEVICES is not set
> >> # CONFIG_DMA_SHARED_BUFFER is not set
> >>
> >> ...
> >>
> >> Here is the debug messages :
> >>
> >> L4 Bootstrapper
> >>   Build: #85 Fri May 29 15:43:55 CEST 2015, 4.8.3 20140320 (prerelease)
> >>   Scanning up to 256 MB RAM, starting at offset 32MB
> >>   Memory size is 256MB (10000000 - 1fffffff)
> >>   RAM: 0000000010000000 - 000000001fffffff: 262144kB
> >>   Total RAM: 256MB
> >>   Scanning fiasco
> >>   Scanning sigma0
> >>   Scanning moe
> >>   Moving up to 10 modules behind 11100000
> >>   moving module 02 { 118a9000-118e263f } -> { 11999000-119d263f } [235072]
> >>   moving module 01 { 1189f000-118a838b } -> { 1198f000-1199838b } [37772]
> >>   moving module 00 { 11848000-1189e0c7 } -> { 11938000-1198e0c7 } [352456]
> >>   moving module 09 { 11548000-11847fff } -> { 11638000-11937fff }
> >> [3145728]
> >>   moving module 08 { 111d6000-11547497 } -> { 112c6000-11637497 }
> >> [3609752]
> >>   moving module 07 { 111d5000-111d50bc } -> { 112c5000-112c50bc } [189]
> >>   moving module 06 { 1107e000-111d446f } -> { 1116e000-112c446f }
> >> [1401968]
> >>   moving module 05 { 1107d000-1107d17b } -> { 1116d000-1116d17b } [380]
> >>   moving module 04 { 1102a000-1107cc1f } -> { 1111a000-1116cc1f } [338976]
> >>   moving module 03 { 11010000-11029473 } -> { 11100000-11119473 } [103540]
> >>   Loading fiasco
> >>   Loading sigma0
> >>   Loading moe
> >>   find kernel info page...
> >>   found kernel info page at 0x10002000
> >> Regions of list 'regions'
> >>     [ 10000000,  1000015f] {      160} Root   mbi_rt
> >>     [ 10001000,  10001aff] {      b00} Kern   fiasco
> >>     [ 10002000,  10062fff] {    61000} Kern   fiasco
> >>     [ 10090000,  10096edf] {     6ee0} Sigma0 sigma0
> >>     [ 10098000,  1009e177] {     6178} Sigma0 sigma0
> >>     [ 10140000,  10171d77] {    31d78} Root   moe
> >>     [ 10178000,  101934ab] {    1b4ac} Root   moe
> >>     [ 11000000,  1100f58f] {     f590} Boot   bootstrap
> >>     [ 11100000,  11937fff] {   838000} Root   Module
> >>   API Version: (87) experimental
> >>   Sigma0 config    ip:10090100 sp:00000000
> >>   Roottask config  ip:10140260 sp:00000000
> >>   Starting kernel fiasco at 100012c8
> >> Number of IRQs available at this GIC: 160
> >> FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
> >> dbl/sngl
> >> L2: ID=410000c7 Type=9e340340 Aux=02070000 WMask=ffff S=0
> >> L2: Type L2C-310 Size = 1024kB  Ways=16 Waysize=64
> >> SERIAL ESC: allocated IRQ 58 for serial uart
> >> Not using serial hack in slow timer handler.
> >> Welcome to Fiasco.OC (arm)!
> >> L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
> >> Rev: rexported compiled with gcc 4.8.3 for i.MX6    []
> >> Build: #19 Fri May 29 15:43:14 CEST 2015
> >>
> >> Calibrating timer loop... done.
> >> MDB: use page size: 20
> >> MDB: use page size: 12
> >> SIGMA0: Hello!
> >>   KIP @ 10002000
> >>   allocated 4KB for maintenance structures
> >> SIGMA0: Dump of all resource maps
> >> RAM:------------------------
> >> [4:10000000;10000fff]
> >> [0:10063000;1008ffff]
> >> [0:10097000;10097fff]
> >> [0:1009f000;1013ffff]
> >> [4:10140000;10171fff]
> >> [0:10172000;10177fff]
> >> [4:10178000;10193fff]
> >> [0:10194000;110fffff]
> >> [4:11100000;11937fff]
> >> [0:11938000;1effffff]
> >> IOMEM:----------------------
> >> [0:0;fffffff]
> >> [0:20000000;ffffffff]
> >> MOE: Hello world
> >> MOE: found 236580 KByte free memory
> >> MOE: found RAM from 10000000 to 1f000000
> >> MOE: allocated 240 KByte for the page array @0x1009f000
> >> MOE: virtual user address space [0-bfffffff]
> >> MOE: rom name space cap -> [C:501000]
> >>   BOOTFS: [11100000-11119474] [C:503000] l4re
> >>   BOOTFS: [1111a000-1116cc20] [C:504000] ned
> >>   BOOTFS: [1116d000-1116d17c] [C:505000] l4lx.cfg
> >>   BOOTFS: [1116e000-112c4470] [C:506000] io
> >>   BOOTFS: [112c5000-112c50bd] [C:507000] arm-rv.io
> >>   BOOTFS: [112c6000-11637498] [C:508000] vmlinuz.arm
> >>   BOOTFS: [11638000-11938000] [C:509000] ramdisk-arm.rd
> >> MOE: cmdline: moe rom/l4lx.cfg
> >> MOE: Starting: rom/ned rom/l4lx.cfg
> >> MOE: loading 'rom/ned'
> >> Ned says: Hi World!
> >> Ned: loading file: 'rom/l4lx.cfg'
> >> l4linux | libio: Warning: Query of 'vbus' failed!
> >> l4linux | PH  0 (t:        1) offs=00008000 vaddr=02000000 vend=023df0a8
> >> l4linux |                     phys=02000000 ephys=023df0a8
> >> l4linux |                     f_sz=00359394 memsz=003df0a8 flgs=rwx
> >> l4linux | PH  1 (t:        4) offs=0031a170 vaddr=02312170 vend=02312194
> >> l4linux |                     phys=02312170 ephys=02312194
> >> 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 0x20002a8, argc=6 argv=0xafff4f8c
> >> *argv=0xb1007ff0 argv0=rom/vmlinuz.arm
> >> l4linux | External resolver is at 0xa8000738
> >> l4linux | ======> L4Linux starting... <========
> >> l4linux | Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90)
> >> (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite
> >> 2014.05-29) ) #4 Fri May 29 15:38:21 CEST 2015
> >> l4linux | Binary name: rom/vmlinuz.arm
> >> l4linux |    This is an AEABI build.
> >> l4linux | Linux kernel command line (5 args): mem=64M console=ttyLv0
> >> l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000
> >> l4linux | CPU mapping (l:p)[1]: 0:0
> >> l4linux | Image: 02000000 - 02400000 [4096 KiB].
> >> l4linux | Areas: Text:     02000000 - 02332000 [3272kB] (a bit longer)
> >> l4linux |        Data:     02332000 - 02354540 [137kB]
> >> l4linux |        Initdata: 02313000 - 02330614 [117kB]
> >> l4linux |        BSS:      02359394 - 023df0a8 [535kB]
> >> l4linux | Device scan:
> >> l4linux | Device scan done.
> >> l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00,
> >> v:b3000c00, sp:02333fa4)
> >> l4linux | main thread will be 413
> >> l4linux | l4x_register_pointer_section: addr = 02000000 size = 4063232
> >> l4linux | section-with-init: Virt: 0x2000000 to 0x23df0a7 [3964 KiB]
> >> l4linux | section-with-init: Phys: 0x10256000 to 0x106350a7, [3964 KiB]
> >> l4linux | Main thread running, waiting...
> >> l4linux | L4x: Memory size: 64MB
> >> l4linux | L4x: Setting superpages for main memory
> >> l4linux | L4x: Adjusted memory start: 02000000
> >> l4linux |     Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB]
> >> l4linux |     Main memory: Phys: 0x11a00000 to 0x159fffff, [65536 KiB]
> >> l4linux | l4x: vmalloc area: 06400000 - 0e400000
> >> l4linux | l4x_register_pointer_section: addr = 02000000 size = 4063232
> >> l4linux |            text: Virt: 0x2000000 to 0x23df0a7 [3964 KiB]
> >> l4linux |            text: Phys: 0x10256000 to 0x106350a7, [3964 KiB]
> >> l4linux | Loading: rom/ramdisk-arm.rd
> >> l4linux | INITRD: Size of RAMdisk is 3072KiB
> >> l4linux | RAMdisk from 00002000 to 00302000 [3072KiB]
> >> l4linux | l4lx_thread_create: Created thread 418 (timer0) (u:b3000a00,
> >> v:00000000, sp:02377fa0)
> >> Booting Linux on physical CPU 0x0
> >> Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version
> >> 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #4 Fri
> >> May 29 15:38:21 CEST 2015
> >> CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00000000
> >> CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction
> >> cache
> >> Machine: L4
> >> Ignoring unrecognised tag 0x00000000
> >> Memory policy: Data cache uncached
> >> CPU: All CPU(s) started in SVC mode.
> >> INITRD: 00002000 - 00302000
> >> Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 17209
> >> Kernel command line: mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd
> >> root=1:0 ramdisk_size=4000
> >> PID hash table entries: 512 (order: -1, 2048 bytes)
> >> Dentry cache hash table entries: 16384 (order: 4, 65536 bytes)
> >> Inode-cache hash table entries: 8192 (order: 3, 32768 bytes)
> >> Memory: 64808K/69636K available (2452K kernel code, 137K rwdata, 692K
> >> rodata, 117K init, 535K bss, 4828K reserved)
> >> Virtual kernel memory layout:
> >>     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> >>     fixmap  : 0xffc00000 - 0xffe00000   (2048 kB)
> >>     vmalloc : 0x06400000 - 0x0e400000   ( 128 MB)
> >>     lowmem  : 0x00000000 - 0x06400000   ( 100 MB)
> >>     modules : Virtual kernel memory layout:
> >>     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> >>     fixmap  : 0xffc00000 - 0xffe00000   (2048 kB)
> >>     vmalloc : 0x06400000 - 0x0e400000   ( 128 MB)
> >>     lowmem  : 0x00000000 - 0x06400000   ( 100 MB)
> >>     moNR_IRQS:220
> >> l4timer: Using IRQ210
> >> sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every
> >> 2147483648000ns
> >> Console: colour dummy device 80x30
> >> console [ttyLv0] enabled
> >> Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512)
> >> pid_max: default: 32768 minimum: 301
> >> Mount-cache hash table entries: 1024 (order: 0, 4096 bytes)
> >> Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes)
> >> CPU: Testing write buffer coherency: ok
> >> Setting up static identity map for 0x224e410 - 0x224e410
> >> devtmpfs: initialized
> >> VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4
> >> NET: Registered protocol family 16
> >> DMA: preallocated 256 KiB pool for atomic coherent allocations
> >> Failed to create "l4x" debugfs directory: 1
> >> Switched to clocksource l4kipclk
> >> NET: Registered protocol family 2
> >> TCP established hash table entries: 1024 (order: 0, 4096 bytes)
> >> TCP bind hash table entries: 1024 (order: 0, 4096 bytes)
> >> TCP: Hash tables configured (established 1024 bind 1024)
> >> TCP: reno registered
> >> UDP hash table entries: 256 (order: 0, 4096 bytes)
> >> UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
> >> NET: Registered protocol family 1
> >> Trying to unpack rootfs image as initramfs...
> >> rootfs image is not initramfs (junk in compressed archive); looks like an
> >> initrd
> >> INITRD: Freeing memory.
> >> l4x: Checks passed.
> >> NetWinder Floating Point Emulator V0.97 (double precision)
> >> futex hash table entries: 256 (order: -1, 3072 bytes)
> >> msgmni has been set to 126
> >> io scheduler noop registered
> >> io scheduler deadline registered
> >> io scheduler cfq registered (default)
> >> L4 serial driver
> >> ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4
> >> l4ser_shm: L4 shared mem serial driver
> >> l4cdds: No name given, not starting.
> >> brd: module loaded
> >> l4bdds: No name given, not starting.
> >> mousedev: PS/2 mouse device common for all mice
> >> TCP: cubic registered
> >> NET: Registered protocol family 17
> >> RAMDISK: ext2 filesystem found at block 0
> >> RAMDISK: Loading 3072KiB [1 disk] into ram disk... done.
> >> EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities
> >> EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem
> >> EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
> >> VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
> >> devtmpfs: mounted
> >> Freeing unused kernel memory: 116K (02313000 - 02330000)
> >> Kernel panic - not syncing: Attempted to kill init! exitcode=0x00000004
> >>
> >> CPU: 0 PID: 1 Comm: init Not tainted 3.16.0-l4 #4
> >> [<0200cdd0>] (unwind_backtrace) from [<02005864>] (show_stack+0x10/0x14)
> >> [<02005864>] (show_stack) from [<02248c90>] (panic+0x8c/0x1dc)
> >> [<02248c90>] (panic) from [<0201df3c>] (complete_and_exit+0x0/0x1c)
> >> [<0201df3c>] (complete_and_exit) from [<00000001>] (0x1)
> >> ---[ end Kernel panic - not syncing: Attempted to kill init!
> >> exitcode=0x00000004
> >>
> >> panic: going to sleep forever, bye
> >> l4linux | panic: going to sleep forever, bye
> >>
> >>
> >> On Fri, May 29, 2015 at 8:57 AM, Matthias Lange <
> >> matthias.la...@kernkonzept.com> wrote:
> >>
> >>> Hi,
> >>>
> >>> its just an educated guess, but I suspect that /bin/init tries to access
> >>> some devices in /dev. Have you enabled devtmpfs and the devtmps
> >>> automount option in L4Linux?
> >>>
> >>> Matthias.
> >>>
> >>> On 05/28/2015 12:49 PM, Mahdi Aichouch wrote:
> >>> > Hello,
> >>> >
> >>> > Thank you very much Mattias for you help.
> >>> >
> >>> > Now L4Linux goes further but it stops after mounting the root
> >>> filesystem.
> >>> > Do you have an idea of what might be wrong.
> >>> >
> >>> > Thank you in advance.
> >>> >
> >>> > Best regards,
> >>> > Mahdi
> >>> >
> >>> > L4 Bootstrapper
> >>> >   Build: #81 Thu May 28 10:36:41 CEST 2015, 4.8.3 20140320 (prerelease)
> >>> >   Scanning up to 256 MB RAM, starting at offset 32MB
> >>> >   Memory size is 256MB (10000000 - 1fffffff)
> >>> >   RAM: 0000000010000000 - 000000001fffffff: 262144kB
> >>> >   Total RAM: 256MB
> >>> >   Scanning fiasco
> >>> >   Scanning sigma0
> >>> >   Scanning moe
> >>> >   Moving up to 10 modules behind 11100000
> >>> >   moving module 02 { 118aa000-118e363f } -> { 1199a000-119d363f }
> >>> [235072]
> >>> >   moving module 01 { 118a0000-118a938b } -> { 11990000-1199938b }
> >>> [37772]
> >>> >   moving module 00 { 11848000-1189fb17 } -> { 11938000-1198fb17 }
> >>> [359192]
> >>> >   moving module 09 { 11548000-11847fff } -> { 11638000-11937fff }
> >>> [3145728]
> >>> >   moving module 08 { 111d6000-11547497 } -> { 112c6000-11637497 }
> >>> [3609752]
> >>> >   moving module 07 { 111d5000-111d50bc } -> { 112c5000-112c50bc } [189]
> >>> >   moving module 06 { 1107e000-111d446f } -> { 1116e000-112c446f }
> >>> [1401968]
> >>> >   moving module 05 { 1107d000-1107d17b } -> { 1116d000-1116d17b } [380]
> >>> >   moving module 04 { 1102a000-1107cc1f } -> { 1111a000-1116cc1f }
> >>> [338976]
> >>> >   moving module 03 { 11010000-11029473 } -> { 11100000-11119473 }
> >>> [103540]
> >>> >   Loading fiasco
> >>> >   Loading sigma0
> >>> >   Loading moe
> >>> >   find kernel info page...
> >>> >   found kernel info page at 0x10002000
> >>> > Regions of list 'regions'
> >>> >     [ 10000000,  1000015f] {      160} Root   mbi_rt
> >>> >     [ 10001000,  10001aff] {      b00} Kern   fiasco
> >>> >     [ 10002000,  10066fff] {    65000} Kern   fiasco
> >>> >     [ 10090000,  10096edf] {     6ee0} Sigma0 sigma0
> >>> >     [ 10098000,  1009e177] {     6178} Sigma0 sigma0
> >>> >     [ 10140000,  10171d77] {    31d78} Root   moe
> >>> >     [ 10178000,  101934ab] {    1b4ac} Root   moe
> >>> >     [ 11000000,  1100f58f] {     f590} Boot   bootstrap
> >>> >     [ 11100000,  11937fff] {   838000} Root   Module
> >>> >   API Version: (87) experimental
> >>> >   Sigma0 config    ip:10090100 sp:00000000
> >>> >   Roottask config  ip:10140260 sp:00000000
> >>> >   Starting kernel fiasco at 100012c8
> >>> > Number of IRQs available at this GIC: 160
> >>> > FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
> >>> > dbl/sngl
> >>> > L2: ID=410000c7 Type=9e340340 Aux=02070000 WMask=ffff S=0
> >>> > L2: Type L2C-310 Size = 1024kB  Ways=16 Waysize=64
> >>> > GIC: Switching IRQ 58 to secure
> >>> > SERIAL ESC: allocated IRQ 58 for serial uart
> >>> > Not using serial hack in slow timer handler.
> >>> > Welcome to Fiasco.OC (arm)!
> >>> > L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
> >>> > Rev: rexported compiled with gcc 4.8.3 for i.MX6    []
> >>> > Build: #15 Thu May 28 10:35:21 CEST 2015
> >>> >
> >>> > GIC: Switching IRQ 29 to secure
> >>> > Calibrating timer loop... done.
> >>> > MDB: use page size: 20
> >>> > MDB: use page size: 12
> >>> > SIGMA0: Hello!
> >>> >   KIP @ 10002000
> >>> >   allocated 4KB for maintenance structures
> >>> > SIGMA0: Dump of all resource maps
> >>> > RAM:------------------------
> >>> > [4:10000000;10000fff]
> >>> > [0:10067000;1008ffff]
> >>> > [0:10097000;10097fff]
> >>> > [0:1009f000;1013ffff]
> >>> > [4:10140000;10171fff]
> >>> > [0:10172000;10177fff]
> >>> > [4:10178000;10193fff]
> >>> > [0:10194000;110fffff]
> >>> > [4:11100000;11937fff]
> >>> > [0:11938000;1effffff]
> >>> > IOMEM:----------------------
> >>> > [0:0;fffffff]
> >>> > [0:20000000;ffffffff]
> >>> > MOE: Hello world
> >>> > MOE: found 236564 KByte free memory
> >>> > MOE: found RAM from 10000000 to 1f000000
> >>> > MOE: allocated 240 KByte for the page array @0x1009f000
> >>> > MOE: virtual user address space [0-bfffffff]
> >>> > MOE: rom name space cap -> [C:501000]
> >>> >   BOOTFS: [11100000-11119474] [C:503000] l4re
> >>> >   BOOTFS: [1111a000-1116cc20] [C:504000] ned
> >>> >   BOOTFS: [1116d000-1116d17c] [C:505000] l4lx.cfg
> >>> >   BOOTFS: [1116e000-112c4470] [C:506000] io
> >>> >   BOOTFS: [112c5000-112c50bd] [C:507000] arm-rv.io <http://arm-rv.io>
> >>> >   BOOTFS: [112c6000-11637498] [C:508000] vmlinuz.arm
> >>> >   BOOTFS: [11638000-11938000] [C:509000] ramdisk-arm.rd
> >>> > MOE: cmdline: moe rom/l4lx.cfg
> >>> > MOE: Starting: rom/ned rom/l4lx.cfg
> >>> > MOE: loading 'rom/ned'
> >>> > Ned says: Hi World!
> >>> > Ned: loading file: 'rom/l4lx.cfg'
> >>> > l4linux | libio: Warning: Query of 'vbus' failed!
> >>> > l4linux | PH  0 (t:        1) offs=00008000 vaddr=02000000
> >>> vend=023defa8
> >>> > l4linux |                     phys=02000000 ephys=023defa8
> >>> > l4linux |                     f_sz=00359394 memsz=003defa8 flgs=rwx
> >>> > l4linux | PH  1 (t:        4) offs=0031afe0 vaddr=02312fe0
> >>> vend=02313004
> >>> > l4linux |                     phys=02312fe0 ephys=02313004
> >>> > 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 0x20002b0, argc=6 argv=0xafff4f8c
> >>> > *argv=0xb1007ff0 argv0=rom/vmlinuz.arm
> >>> > l4linux | External resolver is at 0xa8000788
> >>> > l4linux | ======> L4Linux starting... <========
> >>> > l4linux | Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90)
> >>> > (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite
> >>> > 2014.05-29) ) #1 Wed May 27 18:04:14 CEST 2015
> >>> > l4linux | Binary name: rom/vmlinuz.arm
> >>> > l4linux |    This is an AEABI build.
> >>> > l4linux | Linux kernel command line (5 args): mem=64M console=ttyLv0
> >>> > l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000
> >>> > l4linux | CPU mapping (l:p)[1]: 0:0
> >>> > l4linux | Image: 02000000 - 02400000 [4096 KiB].
> >>> > l4linux | Areas: Text:     02000000 - 02332000 [3272kB] (a bit longer)
> >>> > l4linux |        Data:     02332000 - 023543a0 [136kB]
> >>> > l4linux |        Initdata: 02314000 - 02331024 [116kB]
> >>> > l4linux |        BSS:      02359394 - 023defa8 [535kB]
> >>> > l4linux | Device scan:
> >>> > l4linux | Device scan done.
> >>> > l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00,
> >>> > v:b3000c00, sp:02333fa4)
> >>> > l4linux | main thread will be 413
> >>> > l4linux | l4x_register_pointer_section: addr = 02000000 size = 4059136
> >>> > l4linux | section-with-init: Virt: 0x2000000 to 0x23defa7 [3963 KiB]
> >>> > l4linux | section-with-init: Phys: 0x1025a000 to 0x10638fa7, [3963 KiB]
> >>> > l4linux | Main thread running, waiting...
> >>> > l4linux | L4x: Memory size: 64MB
> >>> > l4linux | L4x: Setting superpages for main memory
> >>> > l4linux | L4x: Adjusted memory start: 02000000
> >>> > l4linux |     Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB]
> >>> > l4linux |     Main memory: Phys: 0x11a00000 to 0x159fffff, [65536 KiB]
> >>> > l4linux | l4x: vmalloc area: 06400000 - 0e400000
> >>> > l4linux | l4x_register_pointer_section: addr = 02000000 size = 4059136
> >>> > l4linux |            text: Virt: 0x2000000 to 0x23defa7 [3963 KiB]
> >>> > l4linux |            text: Phys: 0x1025a000 to 0x10638fa7, [3963 KiB]
> >>> > l4linux | Loading: rom/ramdisk-arm.rd
> >>> > l4linux | INITRD: Size of RAMdisk is 3072KiB
> >>> > l4linux | RAMdisk from 00002000 to 00302000 [3072KiB]
> >>> > l4linux | l4lx_thread_create: Created thread 418 (timer0) (u:b3000a00,
> >>> > v:00000000, sp:02377fa0)
> >>> > Booting Linux on physical CPU 0x0
> >>> > Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc
> >>> version
> >>> > 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #1
> >>> > Wed May 27 18:04:14 CEST 2015
> >>> > CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00000000
> >>> > CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction
> >>> cache
> >>> > Machine: L4
> >>> > Ignoring unrecognised tag 0x00000000
> >>> > Memory policy: Data cache uncached
> >>> > INITRD: 00002000 - 00302000
> >>> > Built 1 zonelists in Zone order, mobility grouping on.  Total pages:
> >>> 17209
> >>> > Kernel command line: mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd
> >>> > root=1:0 ramdisk_size=4000
> >>> > PID hash table entries: 512 (order: -1, 2048 bytes)
> >>> > Dentry cache hash table entries: 16384 (order: 4, 65536 bytes)
> >>> > Inode-cache hash table entries: 8192 (order: 3, 32768 bytes)
> >>> > Memory: 64808K/69636K available (2460K kernel code, 136K rwdata, 688K
> >>> > rodata, 116K init, 535K bss, 4828K reserved)
> >>> > Virtual kernel memory layout:
> >>> >     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> >>> >     fixmap  : 0xffc00000 - 0xffe00000   (2048 kB)
> >>> >     vmalloc : 0x06400000 - 0x0e400000   ( 128 MB)
> >>> >     lowmem  : 0x00000000 - 0x06400000   ( 100 MB)
> >>> >     modules : Virtual kernel memory layout:
> >>> >     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> >>> >     fixmap  : 0xffc00000 - 0xffe00000   (2048 kB)
> >>> >     vmalloc : 0x06400000 - 0x0e400000   ( 128 MB)
> >>> >     lowmem  : 0x00000000 - 0x06400000   ( 100 MB)
> >>> >     moNR_IRQS:220
> >>> > l4timer: Using IRQ210
> >>> > sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every
> >>> > 2147483648000ns
> >>> > Console: colour dummy device 80x30
> >>> > console [ttyLv0] enabled
> >>> > Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512)
> >>> > pid_max: default: 32768 minimum: 301
> >>> > Mount-cache hash table entries: 1024 (order: 0, 4096 bytes)
> >>> > Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes)
> >>> > CPU: Testing write buffer coherency: ok
> >>> > Setting up static identity map for 0x22509d8 - 0x22509d8
> >>> > VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4
> >>> > NET: Registered protocol family 16
> >>> > DMA: preallocated 256 KiB pool for atomic coherent allocations
> >>> > Failed to create "l4x" debugfs directory: 1
> >>> > Switched to clocksource l4kipclk
> >>> > NET: Registered protocol family 2
> >>> > TCP established hash table entries: 1024 (order: 0, 4096 bytes)
> >>> > TCP bind hash table entries: 1024 (order: 0, 4096 bytes)
> >>> > TCP: Hash tables configured (established 1024 bind 1024)
> >>> > TCP: reno registered
> >>> > UDP hash table entries: 256 (order: 0, 4096 bytes)
> >>> > UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
> >>> > NET: Registered protocol family 1
> >>> > Trying to unpack rootfs image as initramfs...
> >>> > rootfs image is not initramfs (junk in compressed archive); looks like
> >>> > an initrd
> >>> > INITRD: Freeing memory.
> >>> > l4x: Checks passed.
> >>> > NetWinder Floating Point Emulator V0.97 (double precision)
> >>> > futex hash table entries: 256 (order: -1, 3072 bytes)
> >>> > msgmni has been set to 126
> >>> > io scheduler noop registered
> >>> > io scheduler deadline registered
> >>> > io scheduler cfq registered (default)
> >>> > L4 serial driver
> >>> > ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4
> >>> > l4ser_shm: L4 shared mem serial driver
> >>> > l4cdds: No name given, not starting.
> >>> > brd: module loaded
> >>> > l4bdds: No name given, not starting.
> >>> > mousedev: PS/2 mouse device common for all mice
> >>> > TCP: cubic registered
> >>> > NET: Registered protocol family 17
> >>> > RAMDISK: ext2 filesystem found at block 0
> >>> > RAMDISK: Loading 3072KiB [1 disk] into ram disk... done.
> >>> > EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities
> >>> > EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem
> >>> > EXT4-fs (ram0): mounted filesystem without journal. Opts: (null)
> >>> > VFS: Mounted root (ext2 filesystem) readonly on device 1:0.
> >>> > Freeing unused kernel memory: 116K (02314000 - 02331000)
> >>> > Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
> >>> >
> >>> > CPU: 0 PID: 1 Comm: init Not tainted 3.16.0-l4 #1
> >>> > [<0200cc68>] (unwind_backtrace) from [<020057e4>]
> >>> (show_stack+0x10/0x14)
> >>> > [<020057e4>] (show_stack) from [<0224ad50>] (panic+0x7c/0x1d0)
> >>> > [<0224ad50>] (panic) from [<0201dcdc>] (do_exit+0x7b8/0x7f0)
> >>> > [<0201dcdc>] (do_exit) from [<0201e858>] (do_group_exit+0x40/0xa0)
> >>> > [<0201e858>] (do_group_exit) from [<02028700>]
> >>> > (get_signal_to_deliver+0x148/0x4b4)
> >>> > [<02028700>] (get_signal_to_deliver) from [<02006e1c>]
> >>> > (do_signal+0x118/0x454)
> >>> > [<02006e1c>] (do_signal) from [<0200a4d4>]
> >>> (l4x_vcpu_entry_c+0xa74/0x1dd4)
> >>> > [<0200a4d4>] (l4x_vcpu_entry_c) from [<0000c548>] (0xc548)
> >>> > ---[ end Kernel panic - not syncing: Attempted to kill init!
> >>> > exitcode=0x0000000b
> >>> >
> >>> > panic: going to sleep forever, bye
> >>> > l4linux | panic: going to sleep forever, bye
> >>> >
> >>> >
> >>> > On Thu, May 28, 2015 at 8:23 AM, Matthias Lange
> >>> > <matthias.la...@kernkonzept.com <mailto:matthias.la...@kernkonzept.com
> >>> >>
> >>> > wrote:
> >>> >
> >>> >     Hi,
> >>> >
> >>> >     On 05/27/2015 06:43 PM, Mahdi Aichouch wrote:
> >>> >     > Hello,
> >>> >     >
> >>> >     > I tried to run L4Linux + Fiasco on a Freescale i.mx <http://i.mx
> >>> >
> >>> >     <http://i.mx> 6
> >>> >     > Sabre SD board.
> >>> >     >
> >>> >     > The L4Linux is started but it stops at loading the ramdisk, as
> >>> shown in
> >>> >     > the debug messages below.
> >>> >     >
> >>> >     > Does someone has an idea of what might be wrong.
> >>> >     >
> >>> >     > Thank you very much in advance.
> >>> >     >
> >>> >     > Best regards,
> >>> >     >
> >>> >     > Mahdi
> >>> >     >
> >>> >
> >>> >     [...]
> >>> >
> >>> >     > l4linux | l4x_register_pointer_section: addr = 02000000 size =
> >>> 4059136
> >>> >     > l4linux |            text: Virt: 0x2000000 to 0x23defa7 [3963
> >>> KiB]
> >>> >     > l4linux |            text: Phys: 0x1025a000 to 0x10638fa7, [3963
> >>> KiB]
> >>> >     > l4linux | Loading: rom/ramdisk-arm.rd
> >>> >     > l4linux | INITRD: Size of RAMdisk is 3072KiB
> >>> >     > l4linux | RAMdisk from 00002000 to 00302000 [3072KiB]
> >>> >     > l4linux | 'swp(b)' instruction at 0224f728 and faulting.
> >>> >
> >>> >     Have you enabled CONFIG_ARM_ENABLE_SWP in your Fiasco config?
> >>> >
> >>> >     Matthias.
> >>> >
> >>> >
> >>> >     --
> >>> >     Matthias Lange, matthias.la...@kernkonzept.com
> >>> >     <mailto:matthias.la...@kernkonzept.com>, +49 - 351 - 41 88 86 14
> >>> >     <tel:%2B49%20-%20351%20-%2041%2088%2086%2014>
> >>> >
> >>> >     Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
> >>> >     Geschäftsführer: Dr.-Ing. Michael Hohmuth
> >>> >
> >>> >
> >>> >
> >>> >
> >>> >
> >>> > _______________________________________________
> >>> > l4-hackers mailing list
> >>> > l4-hackers@os.inf.tu-dresden.de
> >>> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >>> >
> >>>
> >>>
> >>> --
> >>> Matthias Lange, matthias.la...@kernkonzept.com, +49 - 351 - 41 88 86 14
> >>>
> >>> Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
> >>> Geschäftsführer: Dr.-Ing. Michael Hohmuth
> >>>
> >>>
> >>
> >


-- 
Adam                 a...@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

Reply via email to