Running the Bro IDS on an ARMv7 board.

Mahdi Aichouch foxmehdi at gmail.com
Thu Mar 3 17:44:06 CET 2016


Hello,

I tried to port the "feq-imx6q" ethernet device driver from "L4Linux
 l4re-snapshot-2014092821" to "L4Linux l4re-snapshot-2015123115".

But I get an error when the driver try to probe the ethernet device:

Could someone help me to figure out what might be wrong in my configuration.

Below are the debug messages followed by all the patch's files.

Thank you very much in advance.

Best regards,
Mahdi



L4 Bootstrapper
  Build: #35 Thu Mar  3 17:03:49 CET 2016, 4.8.3 20140320 (prerelease)
  Scanning up to 1024 MB RAM, starting at offset 256MB
  Memory size is 1024MB (10000000 - 4fffffff)
  RAM: 0000000010000000 - 000000004fffffff: 1048576kB
  Total RAM: 1024MB
  Scanning fiasco
  Scanning sigma0
  Scanning moe
  Moving up to 14 modules behind 11100000
  moving module 02 { 1eb17000-1eb484bb } -> { 1ec07000-1ec384bb } [201916]
  moving module 01 { 1eb05000-1eb1638b } -> { 1ebf5000-1ec0638b } [70540]
  moving module 00 { 1ea7f000-1eb04977 } -> { 1eb6f000-1ebf4977 } [547192]
  moving module 13 { 1ba7f000-1ea7efff } -> { 1bb6f000-1eb6efff } [50331648]
  moving module 12 { 1ba7e000-1ba7e239 } -> { 1bb6e000-1bb6e239 } [570]
  moving module 11 { 1167e000-1ba7dfff } -> { 1176e000-1bb6dfff }
[171966464]
  moving module 10 { 1123c000-1167d497 } -> { 1132c000-1176d497 } [4461720]
  moving module 09 { 1123b000-1123b559 } -> { 1132b000-1132b559 } [1370]
  moving module 08 { 1123a000-1123a0a9 } -> { 1132a000-1132a0a9 } [170]
  moving module 07 { 11239000-1123979e } -> { 11329000-1132979e } [1951]
  moving module 06 { 11207000-1123883f } -> { 112f7000-1132883f } [202816]
  moving module 05 { 1108c000-1120663f } -> { 1117c000-112f663f } [1549888]
  moving module 04 { 1102a000-1108b6af } -> { 1111a000-1117b6af } [399024]
  moving module 03 { 11010000-1102947f } -> { 11100000-1111947f } [103552]
  Loading fiasco
  Loading sigma0
  Loading moe
  find kernel info page...
  found kernel info page at 0x10002000
Regions of list 'regions'
    [ 10000000,  100001e3] {      1e4} Root   mbi_rt
    [ 10001000,  10001aff] {      b00} Kern   fiasco
    [ 10002000,  10092fff] {    91000} Kern   fiasco
    [ 100c0000,  100ca3e7] {     a3e8} Sigma0 sigma0
    [ 100d0000,  100d6177] {     6178} Sigma0 sigma0
    [ 10140000,  1016b41b] {    2b41c} Root   moe
    [ 10170000,  1017b58b] {     b58c} Root   moe
    [ 11000000,  1100f5ff] {     f600} Boot   bootstrap
    [ 11100000,  1eb6efff] {  da6f000} Root   Module
  API Version: (87) experimental
  Sigma0 config    ip:100c0100 sp:00000000
  Roottask config  ip:10140260 sp:00000000
  Starting kernel fiasco at 100012bc
Hello from Startup::stage2
Number of IRQs available at this GIC: 160
SERIAL ESC: allocated IRQ 58 for serial uart
Not using serial hack in slow timer handler.
Welcome to L4/Fiasco.OC!
L4/Fiasco.OC microkernel on arm
Rev: rexported compiled with gcc 4.8.3 20140320 (prerelease)   []
Build: #3 Wed Mar  2 13:52:47 CET 2016

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:10093000;100bffff]
[0:100cb000;100cffff]
[0:100d7000;1013ffff]
[4:10140000;1016bfff]
[0:1016c000;1016ffff]
[4:10170000;1017bfff]
[0:1017c000;110fffff]
[4:11100000;1eb6efff]
[0:1eb6f000;4effffff]
IOMEM:----------------------
[0:0;fffffff]
[0:50000000;ffffffff]
MOE: Hello world
MOE: found 807632 KByte free memory
MOE: found RAM from 10000000 to 4f000000
MOE: allocated 1008 KByte for the page array @0x1017c000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:103000]
  BOOTFS: [11100000-11119480] [C:105000] l4re
  BOOTFS: [1111a000-1117b6b0] [C:107000] ned
  BOOTFS: [1117c000-112f6640] [C:109000] io
  BOOTFS: [112f7000-11328840] [C:10b000] cons
  BOOTFS: [11329000-1132979f] [C:10d000] l4lx.cfg
  BOOTFS: [1132a000-1132a0aa] [C:10f000] arm-imx6.io
  BOOTFS: [1132b000-1132b55a] [C:111000] arm-imx6.devs
  BOOTFS: [1132c000-1176d498] [C:113000] vmlinuz
  BOOTFS: [1176e000-1bb6e000] [C:115000] ramdisk-3-arm.rd
  BOOTFS: [1bb6e000-1bb6e23a] [C:117000] simple.dtb
  BOOTFS: [1bb6f000-1eb6f000] [C:119000] ramdisk-2-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'
Console Server
cons>
Created vcon channel: IO [41f000]
cons>
Created vcon channel: l4linux1 [420000]
cons>
IO      | Io service
IO      | Verboseness level: 4
IO      | unused physical memory space:
IO      |   [00000000000000-0000000fffffff]
IO      |   [00000050000000-000000ffffffff]
IO      | no 'iommu' capability found use CPU-phys for DMA
IO      | Loading: config 'rom/arm-imx6.devs'
IO      | Loading: config 'rom/arm-imx6.io'
IO      | Real Hardware -----------------------------------
IO      | System Bus: hid=
IO      |   Resources: ==== start ====
IO      |   DMADOM  [00000000000000-00000000000000 1] non-pref (32bit)
(align=0 flags=6)
IO      |   Resources: ===== end =====
IO      |   NIC: hid=imx6q-fec
IO      |     Clients: ===== start ====
IO      |       NIC: [N2Vi9Proxy_devE]
IO      |     Clients: ===== end ====
IO      |     Resources: ==== start ====
IO      |     IOMEM   [00000002188000-0000000218bfff 4000] non-pref (32bit)
(align=3fff flags=2)
IO      |     IRQ     [00000000000097-00000000000097 1] none (32bit)
(align=0 flags=1)
IO      |     Resources: ===== end =====
IO      | warning: could not register control interface at cap
'platform_ctl'
IO      | Ready. Waiting for request.
l4linux1| PH  0 (t:        1) offs=00008000 vaddr=02000000 vend=024e6d68
l4linux1|                     phys=02000000 ephys=024e6d68
l4linux1|                     f_sz=00423394 memsz=004e6d68 flgs=rwx
l4linux1| PH  1 (t:        4) offs=003caee4 vaddr=023c2ee4 vend=023c2f08
l4linux1|                     phys=023c2ee4 ephys=023c2f08
l4linux1|                     f_sz=00000024 memsz=00000024 flgs=r-x
l4linux1| PH  2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000
l4linux1|                     phys=00000000 ephys=00000000
l4linux1|                     f_sz=00000000 memsz=00000000 flgs=rwx
l4linux1| Starting binary at 0x2001358, argc=15 argv=0xafff4f6c
*argv=0xb1007ff4 argv0=rom/vmlinuz
l4linux1| External resolver is at 0xa80007a4
l4linux1| ======> L4Linux starting... <========
l4linux1| Linux version 4.3.0-l4 (aichouch at aichouch-ThinkCentre-M90) (gcc
version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) )
#7 SMP Thu Mar 3 15:55:06 CET 2016
l4linux1| Binary name: rom/vmlinuz
l4linux1|    This is an AEABI build.
l4linux1| Linux kernel command line (14 args): mem=512M console=ttyLv0
l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1
print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 --l4x_dtb=rom/simh
l4linux1| CPU mapping (l:p)[1]: 0:0
l4linux1| Image: 020000a0 - 02600000 [6143 KiB].
l4linux1| Areas: Text:     020000a0 - 023c2f08 [3851kB]
l4linux1|        RO-Data:  022d8000 - 023aa000 [840kB]
l4linux1|        Data:     023fa000 - 0241e460 [145kB]
l4linux1|        Init:     023c3000 - 023fa000 [220kB]
l4linux1|        BSS:      02423394 - 024e6d68 [782kB]
l4linux1| Device scan:
l4linux1|   Device: L4ICU
l4linux1|   Device: NIC
l4linux1|     MEM: 02188000 - 0218bfff
l4linux1|     IRQ: 00000097 - 00000097
l4linux1| Device scan done.
l4linux1| l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00,
v:b3000c00, sp:023fbfa4)
l4linux1| main thread will be 41d
l4linux1| section-with-init(-data): Virt: 0x2000000 to 0x24e6d67 [5019 KiB]
l4linux1| section-with-init(-data): Phys: 0x10278000 to 0x1075ed67, [5019
KiB]
l4linux1| section-with-init-text: Virt: 0x2000000 to 0x24e6d67 [5019 KiB]
l4linux1| section-with-init-text: Phys: 0x10278000 to 0x1075ed67, [5019 KiB]
l4linux1| Main thread running, waiting...
l4linux1| L4x: Memory size: 512MB
l4linux1| L4x: Setting superpages for main memory
l4linux1| L4x: Adjusted memory start: 02000000
l4linux1|     Main memory: Virt: 0x2600000 to 0x225fffff [524288 KiB]
l4linux1|     Main memory: Phys: 0x1ec00000 to 0x3ebfffff, [524288 KiB]
l4linux1| l4x: vmalloc area: 22600000 - 2a600000
l4linux1|            text: Virt: 0x2000000 to 0x24e6d67 [5019 KiB]
l4linux1|            text: Phys: 0x10278000 to 0x1075ed67, [5019 KiB]
l4linux1| Page fault: addr = bffff003 pc = 023c6fe8 (rw, T)
l4linux1| Loading: rom/ramdisk-3-arm.rd
l4linux1| INITRD: Size of RAMdisk is 167936KiB
l4linux1| RAMdisk from 2a600000 to 34a00000 [167936KiB]
l4linux1| l4lx_thread_create: Created thread 423 (timer0) (u:b3000a00,
v:00000000, sp:0247dfa0)
l4linux1| Booting Linux on physical CPU 0x0
l4linux1| Linux version 4.3.0-l4 (aichouch at aichouch-ThinkCentre-M90) (gcc
version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) )
#7 SMP Thu Mar 3 15:55:06 CET 2016
l4linux1| DTB: virt=02600100 phys=1ec00100
l4linux1| CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000
l4linux1| CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing
instruction cache
l4linux1| Machine model: L4Linux (DT)
l4linux1| Memory policy: Data cache writealloc
l4linux1| INITRD: 2a600000 - 34a00000
l4linux1| PERCPU: Embedded 11 pages/cpu @2219a000 s12864 r8192 d24000 u45056
l4linux1| Built 1 zonelists in Zone order, mobility grouping on.  Total
pages: 131508
l4linux1| Kernel command line: mem=512M console=ttyLv0
l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1
print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 --l4x_dtb=rom/simple.dtb
l4x_rd=r)
l4linux1| Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
l4linux1| Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
l4linux1| Memory: 519224K/530432K available (3011K kernel code, 145K
rwdata, 840K rodata, 220K init, 782K bss, 11208K reserved, 0K cma-reserved)
l4linux1| Virtual kernel memory layout:
l4linux1|     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
l4linux1|     fixmap  : 0xffc00000 - 0xfff00000   (3072 kB)
l4linux1|     vmalloc : 0x22600000 - 0x2a600000   ( 128 MB)
l4linux1|     lowmem  : 0x00000000 - 0x22600000   ( 550 MB)
l4linux1|     modules : Virtual kernel memory layout:
l4linux1|     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
l4linux1|     fixmap  : 0xffc00000 - 0xfff00000   (3072 kB)
l4linux1|     vmalloc : 0x22600000 - 0x2a600000   ( 128 MB)
l4linux1|     lowmem  : 0x00000000 - 0x22600000   ( 550 MB)
l4linux1|     moHierarchical RCU implementation.
l4linux1|       Build-time adjustment of leaf fanout to 32.
l4linux1|       RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
l4linux1| RCU: Adjusting geometry for rcu_fanout_leaf=32, nr_cpu_ids=1
l4linux1| NR_IRQS:282
l4linux1| clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles:
0x1d854df40, max_idle_ns: 3526361616960 ns
l4linux1| l4timer: Using IRQ210
l4linux1| sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every
2199023255500ns
l4linux1| Console: colour dummy device 80x30
l4linux1| console [ttyLv0] enabled
l4linux1| Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512)
l4linux1| pid_max: default: 32768 minimum: 301
l4linux1| Mount-cache hash table entries: 2048 (order: 1, 8192 bytes)
l4linux1| Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes)
l4linux1| CPU: Testing write buffer coherency: ok
l4linux1| missing device node for CPU 0
l4linux1| CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
l4linux1| Setting up static identity map for 0x20000a0 - 0x20000a0
l4linux1| Brought up 1 CPUs
l4linux1| SMP: Total of 1 processors activated (1574.50 BogoMIPS).
l4linux1| CPU: All CPU(s) started in SVC mode.
l4linux1| devtmpfs: initialized
l4linux1| clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff,
max_idle_ns: 19112604462750000 ns
l4linux1| NET: Registered protocol family 16
l4linux1| DMA: preallocated 256 KiB pool for atomic coherent allocations
l4linux1| Added static device 'L4ICU' with 0 resources.
l4linux1| Added static device 'NIC' with 2 resources.
l4linux1| Failed to create "l4x" debugfs directory: 1
l4linux1| pps_core: LinuxPPS API ver. 1 registered
l4linux1| pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo
Giometti <giometti at linux.it>
l4linux1| PTP clock support registered
l4linux1| clocksource: Switched to clocksource l4kipclk
l4linux1| NET: Registered protocol family 2
l4linux1| TCP established hash table entries: 8192 (order: 3, 32768 bytes)
l4linux1| TCP bind hash table entries: 8192 (order: 4, 65536 bytes)
l4linux1| TCP: Hash tables configured (established 8192 bind 8192)
l4linux1| UDP hash table entries: 512 (order: 2, 16384 bytes)
l4linux1| UDP-Lite hash table entries: 512 (order: 2, 16384 bytes)
l4linux1| NET: Registered protocol family 1
l4linux1| Trying to unpack rootfs image as initramfs...
l4linux1| rootfs image is not initramfs (junk in compressed archive); looks
like an initrd
l4linux1| INITRD: Freeing memory.
l4linux1| l4x-dma-alloc: size=30 avail=0/0
l4linux1| l4x: Checks passed.
l4linux1| futex hash table entries: 256 (order: 2, 16384 bytes)
l4linux1| io scheduler noop registered
l4linux1| io scheduler deadline registered
l4linux1| io scheduler cfq registered (default)
l4linux1| L4 serial driver
l4linux1| serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud =
230400) is a L4-vcon
l4linux1| l4ser_shm: L4 shared mem serial driver
l4linux1| l4cdds: No name given, not starting.
l4linux1| brd: module loaded
l4linux1| l4bdds: No name given, not starting.
IO      | new iomem region: p=2000000 v=400000 s=400000 (bmb=0x1c668)
l4linux1| __l4x_ioremap: Mapping physaddr 02188000 [0x3fff Bytes,
02188000+004000] to 00002000+000000
l4linux1| l4x-dma-alloc: size=65536 avail=0/0
l4linux1| l4x-dma-alloc: size=4096 avail=0/0
l4linux1| fec: probe of 2188000.ethernet failed with error -12
l4linux1| shmns: Requesting, Shmsize 1024 Kbytes
l4linux1| Page fault: addr = 024e7003 pc = a8006734 (rw, T)
l4linux1| Page fault: addr = 00002003 pc = ffffe100 (rw, T)
l4linux1| mousedev: PS/2 mouse device common for all mice
l4linux1| NET: Registered protocol family 17
l4linux1| Registering SWP/SWPB emulation handler
l4linux1| L4IRQ: set irq type of 211 to 1
l4linux1| RAMDISK: ext2 filesystem found at block 0
l4linux1| RAMDISK: Loading 167936KiB [1 disk] into ram disk... done.
l4linux1| EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is
recommended
l4linux1| VFS: Mounted root (ext2 filesystem) on device 1:0.
l4linux1| devtmpfs: mounted
l4linux1| Freeing unused kernel memory: 220K (023c3000 - 023fa000)
l4linux1| /bin/sh: can't access tty; job control turned off
l4linux1| / #




==================================================================================

--- ../l4linux-devicetree/drivers/net/ethernet/freescale/fec_main.c 2016-03-02
16:54:47.131617289 +0100
+++ drivers/net/ethernet/freescale/fec_main.c 2016-03-03 15:05:48.679629321
+0100
@@ -64,6 +64,12 @@

 #include "fec.h"

+#ifdef CONFIG_L4
+//ahb clock
+#define clk_get_rate(x) 132000000
+
+#endif
+
 static void set_multicast_list(struct net_device *ndev);
 static void fec_enet_itr_coal_init(struct net_device *ndev);

@@ -2163,7 +2169,7 @@
 /* List of registers that can be safety be read to dump them with ethtool
*/
 #if defined(CONFIG_M523x) || defined(CONFIG_M527x) ||
defined(CONFIG_M528x) || \
  defined(CONFIG_M520x) || defined(CONFIG_M532x) || \
- defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28)
+  defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) ||
defined(CONFIG_L4)
 static u32 fec_enet_register_offset[] = {
  FEC_IEVENT, FEC_IMASK, FEC_R_DES_ACTIVE_0, FEC_X_DES_ACTIVE_0,
  FEC_ECNTRL, FEC_MII_DATA, FEC_MII_SPEED, FEC_MIB_CTRLSTAT, FEC_R_CNTRL,
@@ -3393,12 +3399,22 @@
  fep->phy_interface = ret;
  }

+#ifdef CONFIG_L4
+ //Do not setup Clocks or regulator
+ fep->clk_ahb = NULL;
+ fep->clk_ipg = NULL;
+ fep->clk_enet_out = NULL;
+ fep->clk_ptp = NULL;
+ fep->reg_phy = NULL;
+#else
+
  fep->clk_ipg = devm_clk_get(&pdev->dev, "ipg");
  if (IS_ERR(fep->clk_ipg)) {
  ret = PTR_ERR(fep->clk_ipg);
  goto failed_clk;
  }

+
  fep->clk_ahb = devm_clk_get(&pdev->dev, "ahb");
  if (IS_ERR(fep->clk_ahb)) {
  ret = PTR_ERR(fep->clk_ahb);
@@ -3453,6 +3469,8 @@
  pm_runtime_set_active(&pdev->dev);
  pm_runtime_enable(&pdev->dev);

+#endif
+
  fec_reset_phy(pdev);

  if (fep->bufdesc_ex)


==================================================================================

--- ../l4linux-devicetree/drivers/net/ethernet/freescale/fec_ptp.c 2016-03-02
16:54:47.135617309 +0100
+++ drivers/net/ethernet/freescale/fec_ptp.c 2016-03-03 14:49:44.034845906
+0100
@@ -48,6 +48,9 @@

 #include "fec.h"

+//ahb clock
+#define clk_get_rate(x) 132000000
+
 /* FEC 1588 register bits */
 #define FEC_T_CTRL_SLAVE                0x00002000
 #define FEC_T_CTRL_CAPTURE              0x00000800


==================================================================================

--- ../l4linux-devicetree/arch/l4/kernel/arch-arm/mach_setup.c 2016-03-02
16:56:08.920022856 +0100
+++ arch/l4/kernel/arch-arm/mach_setup.c 2016-03-03 14:43:19.120937221 +0100
@@ -5,15 +5,84 @@
 #include <linux/platform_device.h>
 #include <linux/ata_platform.h>
 #include <linux/smsc911x.h>
+#include <linux/fec.h>
 #include <linux/slab.h>
 #include <linux/list.h>

+
 #include <asm/generic/devs.h>

 #ifdef CONFIG_L4_DMAPOOL
 #include <asm/l4x/dma.h>
 #endif

+#define PHY_ID_AR8031 0x004dd074
+
+static struct resource imx6q_fec_resources[] = {
+ {
+ .start = 0x02188000,
+ .end   = 0x0218BFFF,
+ .name  = "imx6q-fec mem",
+ .flags = IORESOURCE_MEM
+ },
+ {
+ .start = 150,
+ .end   = 151,
+ .name  = "imx6q-fec irq",
+ .flags = IORESOURCE_IRQ
+ }
+};
+
+static struct fec_platform_data imx6q_fec_pd = {
+ .phy = PHY_INTERFACE_MODE_RGMII
+};
+
+static struct platform_device imx6q_fec_dev = {
+ .name = "imx6q-fec",
+ .id   = 0,
+ .resource = imx6q_fec_resources,
+ .num_resources = ARRAY_SIZE(imx6q_fec_resources),
+ .dev = {
+ .platform_data = &imx6q_fec_pd,
+ },
+};
+
+static int ar8031_phy_fixup(struct phy_device *dev)
+{
+ u16 val;
+
+ /* to enable AR8031 output a 125Mhz clk from CLK_25M */
+ phy_write(dev, 0xd, 0x7);
+ phy_write(dev, 0xe, 0x8016);
+ phy_write(dev, 0xd, 0x4007);
+
+ val  = phy_read(dev, 0xe);
+ val &= 0xffe3;
+ val |= 0x18;
+ phy_write(dev, 0xe, val);
+
+ /* introduce tx clock delay */
+ phy_write(dev, 0x1d, 0x5);
+ val = phy_read(dev, 0x1e);
+ val |= 0x0100;
+ phy_write(dev, 0x1e, val);
+
+ return 0;
+}
+
+static void __init imx6q_enet_phy_init(void)
+{
+ if (IS_BUILTIN(CONFIG_PHYLIB)) {
+ phy_register_fixup_for_uid(PHY_ID_AR8031, 0xffffffff, ar8031_phy_fixup);
+ }
+}
+
+static L4X_DEVICE_CB(imx6q_device_cb_fec)
+{
+ platform_device_register(&imx6q_fec_dev);
+ imx6q_enet_phy_init();
+}
+

 static int dev_init_done;

@@ -238,6 +307,7 @@
  l4x_register_platform_device_callback("compactflash",
realview_device_cb_pata);
  l4x_register_platform_device_callback("smsc911x",
realview_device_cb_smsc);
  l4x_register_platform_device_callback("aaci",         aaci_cb);
+ l4x_register_platform_device_callback("imx6q-fec.dev",
imx6q_device_cb_fec);
 #endif
 }


==================================================================================

--- ../l4linux-devicetree/drivers/net/ethernet/freescale/Kconfig 2016-03-02
16:54:47.095617111 +0100
+++ drivers/net/ethernet/freescale/Kconfig 2016-03-03 14:03:13.341007602
+0100
@@ -7,7 +7,7 @@
  default y
  depends on FSL_SOC || QUICC_ENGINE || CPM1 || CPM2 || PPC_MPC512x || \
     M523x || M527x || M5272 || M528x || M520x || M532x || \
-    ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM)
+    ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM) || L4
  ---help---
    If you have a network (Ethernet) card belonging to this class, say Y.

@@ -21,7 +21,7 @@
 config FEC
  tristate "FEC ethernet controller (of ColdFire and some i.MX CPUs)"
  depends on (M523x || M527x || M5272 || M528x || M520x || M532x || \
-    ARCH_MXC || SOC_IMX28)
+    ARCH_MXC || SOC_IMX28) || L4
  default ARCH_MXC || SOC_IMX28 if ARM
  select PHYLIB
  select PTP_1588_CLOCK

==================================================================================

--- ../l4linux-devicetree/arch/l4/Kconfig 2016-03-02 16:56:09.196024225
+0100
+++ arch/l4/Kconfig 2016-03-03 15:29:27.898666848 +0100
@@ -63,16 +63,22 @@
  config L4_PLATFORM_GENERIC
  bool "Generic"
  select CLKDEV_LOOKUP
- select L4_CLK_NOOP
+# select L4_CLK_NOOP
+ select HAVE_CLK_PREPARE
+ select HAVE_MACH_CLKDEV
+ select COMMON_CLK

  config L4_PLATFORM_REALVIEW
  bool "Realview"
  select CLKDEV_LOOKUP
  select OUTER_CACHE
- select L4_CLK_NOOP
+# select L4_CLK_NOOP

 endchoice

+config L4_CLK_NOOP
+       bool "L4 Clock Noop"
+       depends on (L4_PLATFORM_GENERIC || L4_PLATFORM_REALVIEW)

 menu "Features"


=====================
conf/examples/arm-imx6.io
=====================

-- vi:ft=lua

local hw = Io.system_bus()

Io.add_vbus("l4linux", Io.Vi.System_bus
{
  NIC = wrap(hw:match("fsl,imx6q-fec"));
})

=======================
conf/examples/arm-imx6.devs
=======================

-- vim:set ft=lua:

local Res = Io.Res
local Hw = Io.Hw

Io.hw_add_devices(function()

  NIC = Hw.Device(function()
   Property.hid = "imx6q-fec";
   compatible = {"fsl,imx6q-fec"};
   Resource.regs = Res.mmio(0x02188000, 0x0218BFFF);
   Resource.irq = Res.irq(150);
   Resource.irq = Res.irq(151);
  end);

end)

====================
arch/l4/boot/dts/simple.dts
====================

/*
 * Basic DT for L4Linux.
 */

/dts-v1/;

/ {
        model = "L4Linux (DT)";
        compatible = "L4Linux";

        #address-cells = <1>;
        #size-cells = <1>;
        chosen { };
        aliases { };

        intc: l4icu {
                compatible = "l4,icu";
                interrupt-controller;
                /* type can be 'gic' or 'single' currently */
                l4icu-type = "gic";
                #interrupt-cells = <3>;
                /*
                l4icu-type = "single";
                #interrupt-cells = <1>;
                */
        };

        /* QEMU-ARM: -M realview-eb -net nic,model=smc91c111  */
        /*
        ethernet at 4e000000 {
                compatible = "smsc,lan91c111";
                reg = <0x4e000000 0x10>;
                interrupt-parent = <&intc>;
                interrupts = <0 28 0>;
                status = "disabled";
        };
        */

        ethernet at 0x02188000 {
                compatible = "fsl,imx6q-fec";
                reg = <0x02188000 0x3fff>;
                interrupt-parent = <&intc>;
                interrupts = <0 150 0>;
                status = "disabled";
        };

};


On Wed, Mar 2, 2016 at 6:37 PM, Mahdi Aichouch <foxmehdi at gmail.com> wrote:

> Hello Matthias,
>
> I adapted my configuration file to the new Lua syntax.
> Then, I tested the L4Linux on the Freescale i.MX6 Sabre SD board.
>
> As a DTB file, I adapted the "arch/l4/boot/dts/simple.dts" script in order
> to add the
> imx6q-fec ethernet device.
>
> However, I was not able to get the real ethernet interface in the L4Linux
> guest.
> Only a virtual ethernet interface was created.
>
> Please find below the debug messages followed by my configuration scripts.
>
> Could you please tell me what might be missing in my configuration.
>
> Thank you very much in advance.
>
> Best regards,
> Mahdi
>
>
> L4 Bootstrapper
>   Build: #29 Wed Mar  2 18:11:15 CET 2016, 4.8.3 20140320 (prerelease)
>   Scanning up to 1024 MB RAM, starting at offset 128MB
>   Memory size is 1024MB (10000000 - 4fffffff)
>   RAM: 0000000010000000 - 000000004fffffff: 1048576kB
>   Total RAM: 1024MB
>   Scanning fiasco
>   Scanning sigma0
>   Scanning moe
>   Moving up to 13 modules behind 11100000
>   moving module 02 { 146f7000-147284bb } -> { 147e7000-148184bb } [201916]
>   moving module 01 { 146e5000-146f638b } -> { 147d5000-147e638b } [70540]
>   moving module 00 { 1465f000-146e4977 } -> { 1474f000-147d4977 } [547192]
>   moving module 12 { 1165f000-1465efff } -> { 1174f000-1474efff }
> [50331648]
>   moving module 11 { 1165e000-1165e245 } -> { 1174e000-1174e245 } [582]
>   moving module 10 { 1123c000-1165d497 } -> { 1132c000-1174d497 } [4330648]
>   moving module 09 { 1123b000-1123b559 } -> { 1132b000-1132b559 } [1370]
>   moving module 08 { 1123a000-1123a0a9 } -> { 1132a000-1132a0a9 } [170]
>   moving module 07 { 11239000-1123951c } -> { 11329000-1132951c } [1309]
>   moving module 06 { 11207000-1123883f } -> { 112f7000-1132883f } [202816]
>   moving module 05 { 1108c000-1120663f } -> { 1117c000-112f663f } [1549888]
>   moving module 04 { 1102a000-1108b6af } -> { 1111a000-1117b6af } [399024]
>   moving module 03 { 11010000-1102947f } -> { 11100000-1111947f } [103552]
>   Loading fiasco
>   Loading sigma0
>   Loading moe
>   find kernel info page...
>   found kernel info page at 0x10002000
> Regions of list 'regions'
>     [ 10000000,  100001bf] {      1c0} Root   mbi_rt
>     [ 10001000,  10001aff] {      b00} Kern   fiasco
>     [ 10002000,  10092fff] {    91000} Kern   fiasco
>     [ 100c0000,  100ca3e7] {     a3e8} Sigma0 sigma0
>     [ 100d0000,  100d6177] {     6178} Sigma0 sigma0
>     [ 10140000,  1016b41b] {    2b41c} Root   moe
>     [ 10170000,  1017b58b] {     b58c} Root   moe
>     [ 11000000,  1100f5df] {     f5e0} Boot   bootstrap
>     [ 11100000,  1474efff] {  364f000} Root   Module
>   API Version: (87) experimental
>   Sigma0 config    ip:100c0100 sp:00000000
>   Roottask config  ip:10140260 sp:00000000
>   Starting kernel fiasco at 100012bc
> Hello from Startup::stage2
> Number of IRQs available at this GIC: 160
> SERIAL ESC: allocated IRQ 58 for serial uart
> Not using serial hack in slow timer handler.
> Welcome to L4/Fiasco.OC!
> L4/Fiasco.OC microkernel on arm
> Rev: rexported compiled with gcc 4.8.3 20140320 (prerelease)   []
> Build: #3 Wed Mar  2 13:52:47 CET 2016
>
> 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:10093000;100bffff]
> [0:100cb000;100cffff]
> [0:100d7000;1013ffff]
> [4:10140000;1016bfff]
> [0:1016c000;1016ffff]
> [4:10170000;1017bfff]
> [0:1017c000;110fffff]
> [4:11100000;1474efff]
> [0:1474f000;4effffff]
> IOMEM:----------------------
> [0:0;fffffff]
> [0:50000000;ffffffff]
> MOE: Hello world
> MOE: found 975696 KByte free memory
> MOE: found RAM from 10000000 to 4f000000
> MOE: allocated 1008 KByte for the page array @0x1017c000
> MOE: virtual user address space [0-bfffffff]
> MOE: rom name space cap -> [C:103000]
>   BOOTFS: [11100000-11119480] [C:105000] l4re
>   BOOTFS: [1111a000-1117b6b0] [C:107000] ned
>   BOOTFS: [1117c000-112f6640] [C:109000] io
>   BOOTFS: [112f7000-11328840] [C:10b000] cons
>   BOOTFS: [11329000-1132951d] [C:10d000] l4lx.cfg
>   BOOTFS: [1132a000-1132a0aa] [C:10f000] arm-imx6.io
>   BOOTFS: [1132b000-1132b55a] [C:111000] arm-imx6.devs
>   BOOTFS: [1132c000-1174d498] [C:113000] vmlinuz
>   BOOTFS: [1174e000-1174e246] [C:115000] simple.dtb
>   BOOTFS: [1174f000-1474f000] [C:117000] ramdisk-2-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'
> Console Server
> cons>
> Created vcon channel: IO [41f000]
> cons>
> Created vcon channel: l4linux [420000]
> cons>
> IO      | Io service
> IO      | Verboseness level: 4
> IO      | unused physical memory space:
> IO      |   [00000000000000-0000000fffffff]
> IO      |   [00000050000000-000000ffffffff]
> IO      | no 'iommu' capability found use CPU-phys for DMA
> IO      | Loading: config 'rom/arm-imx6.devs'
> IO      | Loading: config 'rom/arm-imx6.io'
> IO      | Real Hardware -----------------------------------
> IO      | System Bus: hid=
> IO      |   Resources: ==== start ====
> IO      |   DMADOM  [00000000000000-00000000000000 1] non-pref (32bit)
> (align=0 flags=6)
> IO      |   Resources: ===== end =====
> IO      |   NIC: hid=imx6q-fec
> IO      |     Clients: ===== start ====
> IO      |       NIC: [N2Vi9Proxy_devE]
> IO      |     Clients: ===== end ====
> IO      |     Resources: ==== start ====
> IO      |     IOMEM   [00000002188000-0000000218bfff 4000] non-pref
> (32bit) (align=3fff flags=2)
> IO      |     IRQ     [00000000000097-00000000000097 1] none (32bit)
> (align=0 flags=1)
> IO      |     Resources: ===== end =====
> IO      | warning: could not register control interface at cap
> 'platform_ctl'
> IO      | Ready. Waiting for request.
> l4linux | PH  0 (t:        1) offs=00008000 vaddr=02000000 vend=024cece8
> l4linux |                     phys=02000000 ephys=024cece8
> l4linux |                     f_sz=00408394 memsz=004cece8 flgs=rwx
> l4linux | PH  1 (t:        4) offs=003b132c vaddr=023a932c vend=023a9350
> l4linux |                     phys=023a932c ephys=023a9350
> 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 0x2001358, argc=15 argv=0xafff4f6c
> *argv=0xb1007ff4 argv0=rom/vmlinuz
> l4linux | External resolver is at 0xa80007a4
> l4linux | ======> L4Linux starting... <========
> l4linux | Linux version 4.3.0-l4 (aichouch at aichouch-ThinkCentre-M90) (gcc
> version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) )
> #5 SMP Wed Mar 2 17:40:01 CET 2016
> l4linux | Binary name: rom/vmlinuz
> l4linux |    This is an AEABI build.
> l4linux | Linux kernel command line (14 args): mem=512M console=ttyLv0
> l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1
> print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simplh
> l4linux | CPU mapping (l:p)[1]: 0:0
> l4linux | Image: 020000a0 - 02600000 [6143 KiB].
> l4linux | Areas: Text:     020000a0 - 023a9350 [3748kB]
> l4linux |        RO-Data:  022c6000 - 02391000 [812kB]
> l4linux |        Data:     023e0000 - 02403b80 [142kB]
> l4linux |        Init:     023aa000 - 023e0000 [216kB]
> l4linux |        BSS:      02408394 - 024cece8 [794kB]
> l4linux | Device scan:
> l4linux |   Device: L4ICU
> l4linux |   Device: NIC
> l4linux |     MEM: 02188000 - 0218bfff
> l4linux |     IRQ: 00000097 - 00000097
> l4linux | Device scan done.
> l4linux | l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00,
> v:b3000c00, sp:023e1fa4)
> l4linux | main thread will be 41d
> l4linux | section-with-init(-data): Virt: 0x2000000 to 0x24cece7 [4923 KiB]
> l4linux | section-with-init(-data): Phys: 0x10278000 to 0x10746ce7, [4923
> KiB]
> l4linux | section-with-init-text: Virt: 0x2000000 to 0x24cece7 [4923 KiB]
> l4linux | section-with-init-text: Phys: 0x10278000 to 0x10746ce7, [4923
> KiB]
> l4linux | Main thread running, waiting...
> l4linux | L4x: Memory size: 512MB
> l4linux | L4x: Setting superpages for main memory
> l4linux | L4x: Adjusted memory start: 02000000
> l4linux |     Main memory: Virt: 0x2600000 to 0x225fffff [524288 KiB]
> l4linux |     Main memory: Phys: 0x14800000 to 0x347fffff, [524288 KiB]
> l4linux | l4x: vmalloc area: 22600000 - 2a600000
> l4linux |            text: Virt: 0x2000000 to 0x24cece7 [4923 KiB]
> l4linux |            text: Phys: 0x10278000 to 0x10746ce7, [4923 KiB]
> l4linux | Page fault: addr = bffff003 pc = 023adfc0 (rw, T)
> l4linux | Loading: rom/ramdisk-2-arm.rd
> l4linux | INITRD: Size of RAMdisk is 49152KiB
> l4linux | RAMdisk from 2a600000 to 2d600000 [49152KiB]
> l4linux | l4lx_thread_create: Created thread 423 (timer0) (u:b3000a00,
> v:00000000, sp:02465fa0)
> l4linux | Booting Linux on physical CPU 0x0
> l4linux | Linux version 4.3.0-l4 (aichouch at aichouch-ThinkCentre-M90) (gcc
> version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) )
> #5 SMP Wed Mar 2 17:40:01 CET 2016
> l4linux | DTB: virt=02600100 phys=14800100
> l4linux | CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000
> l4linux | CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing
> instruction cache
> l4linux | Machine model: L4Linux (DT)
> l4linux | Memory policy: Data cache writealloc
> l4linux | INITRD: 2a600000 - 2d600000
> l4linux | PERCPU: Embedded 11 pages/cpu @2219a000 s12864 r8192 d24000
> u45056
> l4linux | Built 1 zonelists in Zone order, mobility grouping on.  Total
> pages: 131508
> l4linux | Kernel command line: mem=512M console=ttyLv0
> l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1
> print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simple.dtb
> l4x_rd=rom)
> l4linux | Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
> l4linux | Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
> l4linux | Memory: 519224K/530432K available (2936K kernel code, 142K
> rwdata, 812K rodata, 216K init, 794K bss, 11208K reserved, 0K cma-reserved)
> l4linux | Virtual kernel memory layout:
> l4linux |     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> l4linux |     fixmap  : 0xffc00000 - 0xfff00000   (3072 kB)
> l4linux |     vmalloc : 0x22600000 - 0x2a600000   ( 128 MB)
> l4linux |     lowmem  : 0x00000000 - 0x22600000   ( 550 MB)
> l4linux |     modules : Virtual kernel memory layout:
> l4linux |     vector  : 0xbffff000 - 0xc0000000   (   4 kB)
> l4linux |     fixmap  : 0xffc00000 - 0xfff00000   (3072 kB)
> l4linux |     vmalloc : 0x22600000 - 0x2a600000   ( 128 MB)
> l4linux |     lowmem  : 0x00000000 - 0x22600000   ( 550 MB)
> l4linux |     moHierarchical RCU implementation.
> l4linux |       Build-time adjustment of leaf fanout to 32.
> l4linux |       RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
> l4linux | RCU: Adjusting geometry for rcu_fanout_leaf=32, nr_cpu_ids=1
> l4linux | NR_IRQS:282
> l4linux | clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles:
> 0x1d854df40, max_idle_ns: 3526361616960 ns
> l4linux | l4timer: Using IRQ210
> l4linux | sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every
> 2199023255500ns
> l4linux | Console: colour dummy device 80x30
> l4linux | console [ttyLv0] enabled
> l4linux | Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512)
> l4linux | pid_max: default: 32768 minimum: 301
> l4linux | Mount-cache hash table entries: 2048 (order: 1, 8192 bytes)
> l4linux | Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes)
> l4linux | CPU: Testing write buffer coherency: ok
> l4linux | missing device node for CPU 0
> l4linux | CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
> l4linux | Setting up static identity map for 0x20000a0 - 0x20000a0
> l4linux | Brought up 1 CPUs
> l4linux | SMP: Total of 1 processors activated (1574.50 BogoMIPS).
> l4linux | CPU: All CPU(s) started in SVC mode.
> l4linux | devtmpfs: initialized
> l4linux | clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff,
> max_idle_ns: 19112604462750000 ns
> l4linux | NET: Registered protocol family 16
> l4linux | DMA: preallocated 256 KiB pool for atomic coherent allocations
> l4linux | Added static device 'L4ICU' with 0 resources.
> l4linux | Added static device 'NIC' with 2 resources.
> l4linux | Failed to create "l4x" debugfs directory: 1
> l4linux | clocksource: Switched to clocksource l4kipclk
> l4linux | NET: Registered protocol family 2
> l4linux | TCP established hash table entries: 8192 (order: 3, 32768 bytes)
> l4linux | TCP bind hash table entries: 8192 (order: 4, 65536 bytes)
> l4linux | TCP: Hash tables configured (established 8192 bind 8192)
> l4linux | UDP hash table entries: 512 (order: 2, 16384 bytes)
> l4linux | UDP-Lite hash table entries: 512 (order: 2, 16384 bytes)
> l4linux | NET: Registered protocol family 1
> l4linux | Trying to unpack rootfs image as initramfs...
> l4linux | rootfs image is not initramfs (junk in compressed archive);
> looks like an initrd
> l4linux | INITRD: Freeing memory.
> l4linux | l4x: Checks passed.
> l4linux | futex hash table entries: 256 (order: 2, 16384 bytes)
> l4linux | io scheduler noop registered
> l4linux | io scheduler deadline registered
> l4linux | io scheduler cfq registered (default)
> l4linux | L4 serial driver
> l4linux | serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud =
> 230400) is a L4-vcon
> l4linux | l4ser_shm: L4 shared mem serial driver
> l4linux | l4cdds: No name given, not starting.
> l4linux | brd: module loaded
> l4linux | l4bdds: No name given, not starting.
> l4linux | shmns: Requesting, Shmsize 1024 Kbytes
> l4linux | Page fault: addr = 024cf003 pc = a8006734 (rw, T)
> l4linux | Page fault: addr = 00002003 pc = ffffe100 (rw, T)
> l4linux | mousedev: PS/2 mouse device common for all mice
> l4linux | NET: Registered protocol family 17
> l4linux | Registering SWP/SWPB emulation handler
> l4linux | L4IRQ: set irq type of 211 to 1
> l4linux | RAMDISK: ext2 filesystem found at block 0
> l4linux | RAMDISK: Loading 49152KiB [1 disk] into ram disk... done.
> l4linux | EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck
> is recommended
> l4linux | VFS: Mounted root (ext2 filesystem) on device 1:0.
> l4linux | devtmpfs: mounted
> l4linux | Freeing unused kernel memory: 216K (023aa000 - 023e0000)
> l4linux | /bin/sh: can't access tty; job control turned off
> l4linux | / #
>
> cons> ------------- Connecting to 'l4linux' -------------
> Registering SWP/SWPB emulation handler
> L4IRQ: set irq type of 211 to 1
> RAMDISK: ext2 filesystem found at block 0
> RAMDISK: Loading 49152KiB [1 disk] into ram disk... done.
> EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is
> recommended
> VFS: Mounted root (ext2 filesystem) on device 1:0.
> devtmpfs: mounted
> Freeing unused kernel memory: 216K (023aa000 - 023e0000)
> /bin/sh: can't access tty; job control turned off
> / # ip addr show
> 1: lo: <LOOPBACK> mtu 65536 qdisc noop
>     link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00
> 2: eth0: <BROADCAST,MULTICAST> mtu 7710 qdisc noop qlen 1000
>     link/ether 52:54:00:b0:cf:01 brd ff:ff:ff:ff:ff:ff
> / #
>
>
> =================
> conf/examples/l4lx.cfg
> =================
>
> -- vim:set ft=lua:
>
> local L4 = require("L4");
>
> loader       = L4.default_loader;
>
> vbus_l4linux = loader:new_channel();
> local shmns  = L4.default_loader:create_namespace({ shm = "ipc-inter-vm"
> });
> local cons   = L4.default_loader:new_channel();
>
> L4.default_loader:start(
>   {
>     caps = { cons = cons:svr() },
>     log = L4.Env.log,
>   },
>   "rom/cons -k -a");
>
> L4.default_loader.log_fab = cons;
>
> loader:start(
>   {
>     caps = {
>                 sigma0  =
> L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0);
>                 icu     = L4.Env.icu;
>                 l4linux = vbus_l4linux:svr();
>      },
>      log = {"IO", "magenta"},
>   }, "rom/io -vvv rom/arm-imx6.devs rom/arm-imx6.io")
>
>
> L4.default_loader:start(
>   {
>     caps = {
>           shmns = shmns:mode("rw"),
>           vbus = vbus_l4linux;
>     --    log  = L4.Env.log:m("rws"),
>
>     },
>     ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
>     -- log = L4.Env.log:m("rws"),
>     log = { "l4linux", "yellow", "key=1" },
>     l4re_dbg = L4.Dbg.Warn,
>   },
>   "rom/vmlinuz mem=512M console=ttyLv0 l4memtype=pinned,continuous
> earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1
> l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simple.dtb " ..
>   "l4x_rd=rom/ramdisk-2-" ..  L4.Info.arch() .. ".rd " ..
>   "root=1:0 ramdisk_size=167936 rw init=/bin/sh");
>
>
> =====================
> conf/examples/arm-imx6.io
> =====================
>
> -- vi:ft=lua
>
> local hw = Io.system_bus()
>
> Io.add_vbus("l4linux", Io.Vi.System_bus
> {
>   NIC = wrap(hw:match("fsl,imx6q-fec"));
> })
>
> =======================
> conf/examples/arm-imx6.devs
> =======================
>
> -- vim:set ft=lua:
>
> local Res = Io.Res
> local Hw = Io.Hw
>
> Io.hw_add_devices(function()
>
>   NIC = Hw.Device(function()
>    Property.hid = "imx6q-fec";
>    compatible = {"fsl,imx6q-fec"};
>    Resource.regs = Res.mmio(0x02188000, 0x0218BFFF);
>    Resource.irq = Res.irq(150);
>    Resource.irq = Res.irq(151);
>   end);
>
> end)
>
> ====================
> arch/l4/boot/dts/simple.dts
> ====================
>
> /*
>  * Basic DT for L4Linux.
>  */
>
> /dts-v1/;
>
> / {
>         model = "L4Linux (DT)";
>         compatible = "L4Linux";
>
>         #address-cells = <1>;
>         #size-cells = <1>;
>         chosen { };
>         aliases { };
>
>         intc: l4icu {
>                 compatible = "l4,icu";
>                 interrupt-controller;
>                 /* type can be 'gic' or 'single' currently */
>                 l4icu-type = "gic";
>                 #interrupt-cells = <3>;
>                 /*
>                 l4icu-type = "single";
>                 #interrupt-cells = <1>;
>                 */
>         };
>
>         /* QEMU-ARM: -M realview-eb -net nic,model=smc91c111  */
>         /*
>         ethernet at 4e000000 {
>                 compatible = "smsc,lan91c111";
>                 reg = <0x4e000000 0x10>;
>                 interrupt-parent = <&intc>;
>                 interrupts = <0 28 0>;
>                 status = "disabled";
>         };
>         */
>
>         ethernet at 0x02188000 {
>                 compatible = "fsl,imx6q-fec";
>                 reg = <0x02188000 0x3fff>;
>                 interrupt-parent = <&intc>;
>                 interrupts = <0 150 0>;
>                 status = "disabled";
>         };
>
> };
>
>
>
>
>
>
> On Wed, Mar 2, 2016 at 4:22 PM, Matthias Lange <
> matthias.lange at kernkonzept.com> wrote:
>
>> Hi,
>>
>> On 03/02/2016 03:09 PM, Mahdi Aichouch wrote:
>> > Hello Adam,
>> >
>> > Thank very much for your answer.
>> >
>>
>> [snip]
>>
>> > However, I remarked that the syntax in the Lua configuration files for
>> > Input-Output devices have been
>> > changed in the last L4Re version.
>> >
>> > Could you please help me to adapt my old configurations files to the new
>> > L4Re Lua syntax.
>> > Below are my configurations files:
>>
>> Have you had a look into io's documentation [1]? There you can find a
>> description of how to define devices and how to assign them to virtual
>> busses.
>>
>> Best,
>> Matthias.
>>
>> [1] http://l4re.org/doc/io.html
>>
>> >
>> > Thank you very much in advance.
>> >
>> > Best regards,
>> > Mahdi
>> >
>> >
>> > =======
>> > l4lx.cfg
>> > =======
>> >
>> > -- vim:set ft=lua:
>> >
>> > local lxname = "vmlinuz";
>> > if L4.Info.arch() == "arm" then
>> >   lxname = "vmlinuz.arm";
>> > end
>> >
>> > loader       = L4.default_loader;
>> > vbus_l4linux = loader:new_channel();
>> >
>> > local shmns  = L4.default_loader:create_namespace({ shm = "something"
>> });
>> > local cons   = L4.default_loader:new_channel();
>> >
>> >
>> > L4.default_loader:start(
>> >   {
>> >     caps = { cons = cons:svr() }, log = L4.Env.log,
>> >   },
>> >   "rom/cons -k -a");
>> >
>> > L4.default_loader.log_fab = cons;
>> >
>> >
>> > loader:start(
>> > {
>> >   ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
>> >   caps = {
>> >            sigma0  = L4.cast(L4.Proto.Factory,
>> > L4.Env.sigma0):create(L4.Proto.Sigma0);
>> >            icu     = L4.Env.icu;
>> >            l4linux = vbus_l4linux:svr();
>> >          },
>> >
>> >   log = { "IO", "y" },
>> >   l4re_dbg = L4.Dbg.Warn,
>> > }, "rom/io -vvv rom/arm-imx6.io <http://arm-imx6.io>");
>> >
>> >
>> > L4.default_loader:start(
>> > {
>> >   ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
>> >   caps = {
>> >             vbus = vbus_l4linux;
>> > --                  log  = L4.Env.log:m("rws"),
>> >             shmns = shmns:mode("rw")
>> >   },
>> >
>> >   l4re_dbg = L4.Dbg.Warn,
>> >   log = { "l4linux", "yellow", "key=1" },
>> > }, "rom/" .. lxname .. " mem=512M l4memtype=pinned,continuous
>> > console=ttyLv0 l4x_rd=rom/ramdisk-4-" .. L4.Info.arch() .. ".rd root=1:0
>> > ramdisk_size=200704 rw init=/bin/sh earlyprintk=1 showpfexc=1 showghos\
>> > t=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1");
>> >
>> >
>> > =========
>> > arm-imx6.io <http://arm-imx6.io>
>> > =========
>> >
>> > hw-root
>> > {
>> >   NIC => new Device()
>> >   {
>> >     .hid = "imx6q-fec.0";
>> >     new-res Mmio(0x02188000 .. 0x0218BFFF);
>> >     new-res Irq(150);
>> >     new-res Irq(151);
>> >   }
>> >
>> >   DMAMEM => new Device()
>> >   {
>> >    .hid = "dmamem";
>> >    new-res Mmio_ram(0x80000, 0);
>> >   }
>> > }
>> >
>> > l4linux => new System_bus()
>> > {
>> > #NIC => wrap(hw-root.NIC);
>> >   "imx6q-fec.dev" => wrap(hw-root.NIC);
>> >   "dmamem" => wrap(hw-root.DMAMEM);
>> > }
>> >
>> >
>> >
>> >
>> >
>> > On Mon, Feb 29, 2016 at 1:34 PM, Mahdi Aichouch <foxmehdi at gmail.com
>> > <mailto:foxmehdi at gmail.com>> wrote:
>> >
>> >     Hello,
>> >
>> >     I tried to run the Bro IDS on top of L4Linux and L4 Fiasco, on a
>> >     Freescale i.MX6 ARM cortex A9.
>> >
>> >     Starting the Bro program produces an unrecoverable error and make
>> >     the L4 Fiasco enter an endless loop as shown below :
>> >
>> >     Does anyone was able to run the Bro IDS on top of L4Linux on a ARMv7
>> >     board.
>> >
>> >     Does someone has idea of how to track down the problem.
>> >
>> >     Thank you very much in advance.
>> >
>> >     Best regards,
>> >     Mahdi
>> >
>> >
>> >     /home # ./bro
>> >     warning in /home/scripts/base/init-bare.bro, line 1: problem
>> >     initializing NB-DNS: connect(0.0.0.0): Invalid argument
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>> >     0x9400084f, pc 0200ac80
>> >     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>> >     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>> >     ASSERTION FAILED (r->check_valid_user_psr())
>> >
>> >
>> >
>> >
>> > _______________________________________________
>> > l4-hackers mailing list
>> > l4-hackers at os.inf.tu-dresden.de
>> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>> >
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160303/2cda3408/attachment-0001.html>


More information about the l4-hackers mailing list