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

Mahdi Aichouch foxmehdi at gmail.com
Mon Jun 8 10:43:11 CEST 2015


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.

best regards,
Mahdi


[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 <foxmehdi at 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 <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/20150608/2927d776/attachment-0001.html>


More information about the l4-hackers mailing list