Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD

Mahdi Aichouch foxmehdi at gmail.com
Fri Jun 5 16:31:48 CEST 2015


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 <foxmehdi at 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 at 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 at 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.lange at 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 at 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 at 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.lange at kernkonzept.com <mailto:matthias.lange at 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.lange at kernkonzept.com
>> >     <mailto:matthias.lange at 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 at os.inf.tu-dresden.de
>> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>> >
>>
>>
>> --
>> Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14
>>
>> Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
>> Geschäftsführer: Dr.-Ing. Michael Hohmuth
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150605/a961260d/attachment-0001.html>


More information about the l4-hackers mailing list