Running the Bro IDS on an ARMv7 board.

Mahdi Aichouch foxmehdi at gmail.com
Wed Mar 2 18:37:55 CET 2016


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/20160302/85d9c16f/attachment-0001.html>


More information about the l4-hackers mailing list