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 theimx6q-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,MahdiL4 BootstrapperBuild: #29 Wed Mar 2 18:11:15 CET 2016, 4.8.3 20140320 (prerelease)Scanning up to 1024 MB RAM, starting at offset 128MBMemory size is 1024MB (10000000 - 4fffffff)RAM: 0000000010000000 - 000000004fffffff: 1048576kBTotal RAM: 1024MBScanning fiascoScanning sigma0Scanning moeMoving up to 13 modules behind 11100000moving 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 fiascoLoading sigma0Loading moefind kernel info page...found kernel info page at 0x10002000Regions 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 ModuleAPI Version: (87) experimentalSigma0 config ip:100c0100 sp:00000000Roottask config ip:10140260 sp:00000000Starting kernel fiasco at 100012bcHello from Startup::stage2Number of IRQs available at this GIC: 160SERIAL ESC: allocated IRQ 58 for serial uartNot using serial hack in slow timer handler.Welcome to L4/Fiasco.OC!L4/Fiasco.OC microkernel on armRev: rexported compiled with gcc 4.8.3 20140320 (prerelease) []Build: #3 Wed Mar 2 13:52:47 CET 2016Calibrating timer loop... done.MDB: use page size: 20MDB: use page size: 12SIGMA0: Hello!KIP @ 10002000allocated 4KB for maintenance structuresSIGMA0: Dump of all resource mapsRAM:------------------------[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 worldMOE: found 975696 KByte free memoryMOE: found RAM from 10000000 to 4f000000MOE: allocated 1008 KByte for the page array @0x1017c000MOE: virtual user address space [0-bfffffff]MOE: rom name space cap -> [C:103000]BOOTFS: [11100000-11119480] [C:105000] l4reBOOTFS: [1111a000-1117b6b0] [C:107000] nedBOOTFS: [1117c000-112f6640] [C:109000] ioBOOTFS: [112f7000-11328840] [C:10b000] consBOOTFS: [11329000-1132951d] [C:10d000] l4lx.cfgBOOTFS: [1132a000-1132a0aa] [C:10f000] arm-imx6.ioBOOTFS: [1132b000-1132b55a] [C:111000] arm-imx6.devsBOOTFS: [1132c000-1174d498] [C:113000] vmlinuzBOOTFS: [1174e000-1174e246] [C:115000] simple.dtbBOOTFS: [1174f000-1474f000] [C:117000] ramdisk-2-arm.rdMOE: cmdline: moe rom/l4lx.cfgMOE: Starting: rom/ned rom/l4lx.cfgMOE: loading 'rom/ned'Ned says: Hi World!Ned: loading file: 'rom/l4lx.cfg'Console Servercons>Created vcon channel: IO [41f000]cons>Created vcon channel: l4linux [420000]cons>IO | Io serviceIO | Verboseness level: 4IO | unused physical memory space:IO | [00000000000000-0000000fffffff]IO | [00000050000000-000000ffffffff]IO | no 'iommu' capability found use CPU-phys for DMAIO | 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-fecIO | 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=024cece8l4linux | phys=02000000 ephys=024cece8l4linux | f_sz=00408394 memsz=004cece8 flgs=rwxl4linux | PH 1 (t: 4) offs=003b132c vaddr=023a932c vend=023a9350l4linux | phys=023a932c ephys=023a9350l4linux | f_sz=00000024 memsz=00000024 flgs=r-xl4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000l4linux | phys=00000000 ephys=00000000l4linux | f_sz=00000000 memsz=00000000 flgs=rwxl4linux | Starting binary at 0x2001358, argc=15 argv=0xafff4f6c *argv=0xb1007ff4 argv0=rom/vmlinuzl4linux | External resolver is at 0xa80007a4l4linux | ======> L4Linux starting... <========l4linux | Linux version 4.3.0-l4 (aichouch@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 2016l4linux | Binary name: rom/vmlinuzl4linux | 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/simplhl4linux | CPU mapping (l:p)[1]: 0:0l4linux | 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: L4ICUl4linux | Device: NICl4linux | MEM: 02188000 - 0218bfffl4linux | IRQ: 00000097 - 00000097l4linux | Device scan done.l4linux | l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:023e1fa4)l4linux | main thread will be 41dl4linux | 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: 512MBl4linux | L4x: Setting superpages for main memoryl4linux | L4x: Adjusted memory start: 02000000l4linux | Main memory: Virt: 0x2600000 to 0x225fffff [524288 KiB]l4linux | Main memory: Phys: 0x14800000 to 0x347fffff, [524288 KiB]l4linux | l4x: vmalloc area: 22600000 - 2a600000l4linux | 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.rdl4linux | INITRD: Size of RAMdisk is 49152KiBl4linux | 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 0x0l4linux | Linux version 4.3.0-l4 (aichouch@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 2016l4linux | DTB: virt=02600100 phys=14800100l4linux | CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000l4linux | CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cachel4linux | Machine model: L4Linux (DT)l4linux | Memory policy: Data cache writeallocl4linux | INITRD: 2a600000 - 2d600000l4linux | PERCPU: Embedded 11 pages/cpu @2219a000 s12864 r8192 d24000 u45056l4linux | Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131508l4linux | 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=1l4linux | NR_IRQS:282l4linux | clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 nsl4linux | l4timer: Using IRQ210l4linux | sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500nsl4linux | Console: colour dummy device 80x30l4linux | console [ttyLv0] enabledl4linux | Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512)l4linux | pid_max: default: 32768 minimum: 301l4linux | 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: okl4linux | missing device node for CPU 0l4linux | CPU0: thread -1, cpu 0, socket 0, mpidr 80000000l4linux | Setting up static identity map for 0x20000a0 - 0x20000a0l4linux | Brought up 1 CPUsl4linux | SMP: Total of 1 processors activated (1574.50 BogoMIPS).l4linux | CPU: All CPU(s) started in SVC mode.l4linux | devtmpfs: initializedl4linux | clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 nsl4linux | NET: Registered protocol family 16l4linux | DMA: preallocated 256 KiB pool for atomic coherent allocationsl4linux | Added static device 'L4ICU' with 0 resources.l4linux | Added static device 'NIC' with 2 resources.l4linux | Failed to create "l4x" debugfs directory: 1l4linux | clocksource: Switched to clocksource l4kipclkl4linux | NET: Registered protocol family 2l4linux | 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 1l4linux | Trying to unpack rootfs image as initramfs...l4linux | rootfs image is not initramfs (junk in compressed archive); looks like an initrdl4linux | INITRD: Freeing memory.l4linux | l4x: Checks passed.l4linux | futex hash table entries: 256 (order: 2, 16384 bytes)l4linux | io scheduler noop registeredl4linux | io scheduler deadline registeredl4linux | io scheduler cfq registered (default)l4linux | L4 serial driverl4linux | serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4-vconl4linux | l4ser_shm: L4 shared mem serial driverl4linux | l4cdds: No name given, not starting.l4linux | brd: module loadedl4linux | l4bdds: No name given, not starting.l4linux | shmns: Requesting, Shmsize 1024 Kbytesl4linux | 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 micel4linux | NET: Registered protocol family 17l4linux | Registering SWP/SWPB emulation handlerl4linux | L4IRQ: set irq type of 211 to 1l4linux | RAMDISK: ext2 filesystem found at block 0l4linux | RAMDISK: Loading 49152KiB [1 disk] into ram disk... done.l4linux | EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommendedl4linux | VFS: Mounted root (ext2 filesystem) on device 1:0.l4linux | devtmpfs: mountedl4linux | Freeing unused kernel memory: 216K (023aa000 - 023e0000)l4linux | /bin/sh: can't access tty; job control turned offl4linux | / #cons> ------------- Connecting to 'l4linux' -------------Registering SWP/SWPB emulation handlerL4IRQ: set irq type of 211 to 1RAMDISK: ext2 filesystem found at block 0RAMDISK: Loading 49152KiB [1 disk] into ram disk... done.EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommendedVFS: Mounted root (ext2 filesystem) on device 1:0.devtmpfs: mountedFreeing unused kernel memory: 216K (023aa000 - 023e0000)/bin/sh: can't access tty; job control turned off/ # ip addr show1: lo: <LOOPBACK> mtu 65536 qdisc nooplink/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:002: eth0: <BROADCAST,MULTICAST> mtu 7710 qdisc noop qlen 1000link/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=lualocal 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.Reslocal Hw = Io.HwIo.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@4e000000 {compatible = "smsc,lan91c111";reg = <0x4e000000 0x10>;interrupt-parent = <&intc>;interrupts = <0 28 0>;status = "disabled";};*/ethernet@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@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
> }, "rom/io -vvv rom/arm-imx6.io <http://arm-imx6.io>");
>
> 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,
>
>
> 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@gmail.com
> <mailto:foxmehdi@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@os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>