On Fri, May 29, 2015 at 4:44 PM, Mahdi Aichouch <foxmehdi@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.lange@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.lange@kernkonzept.com <mailto:matthias.lange@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@kernkonzept.com

> <mailto:matthias.lange@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.lange@kernkonzept.com, +49 - 351 - 41 88 86 14

Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth