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@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@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@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
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@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