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 <[email protected] > <mailto:[email protected]>> 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 > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
