Running the Bro IDS on an ARMv7 board.

Matthias Lange matthias.lange at kernkonzept.com
Wed Mar 2 16:22:37 CET 2016


Hi,

On 03/02/2016 03:09 PM, Mahdi Aichouch wrote:
> Hello Adam,
> 
> Thank very much for your answer.
> 

[snip]

> However, I remarked that the syntax in the Lua configuration files for
> Input-Output devices have been
> changed in the last L4Re version.
> 
> Could you please help me to adapt my old configurations files to the new
> L4Re Lua syntax.
> Below are my configurations files:

Have you had a look into io's documentation [1]? There you can find a
description of how to define devices and how to assign them to virtual
busses.

Best,
Matthias.

[1] http://l4re.org/doc/io.html

> 
> Thank you very much in advance.
> 
> Best regards,
> Mahdi
> 
> 
> =======
> l4lx.cfg
> =======
> 
> -- vim:set ft=lua:
> 
> local lxname = "vmlinuz";
> if L4.Info.arch() == "arm" then
>   lxname = "vmlinuz.arm";
> end
> 
> loader       = L4.default_loader;
> vbus_l4linux = loader:new_channel();
> 
> local shmns  = L4.default_loader:create_namespace({ shm = "something" });
> local cons   = L4.default_loader:new_channel();
> 
> 
> L4.default_loader:start(
>   {
>     caps = { cons = cons:svr() }, log = L4.Env.log,
>   },
>   "rom/cons -k -a");
> 
> L4.default_loader.log_fab = cons;
> 
> 
> loader:start(
> {
>   ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
>   caps = {
>            sigma0  = L4.cast(L4.Proto.Factory,
> L4.Env.sigma0):create(L4.Proto.Sigma0);
>            icu     = L4.Env.icu;
>            l4linux = vbus_l4linux:svr();
>          },
> 
>   log = { "IO", "y" },
>   l4re_dbg = L4.Dbg.Warn,
> }, "rom/io -vvv rom/arm-imx6.io <http://arm-imx6.io>");
> 
> 
> L4.default_loader:start(
> {
>   ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
>   caps = {
>             vbus = vbus_l4linux;
> --                  log  = L4.Env.log:m("rws"),
>             shmns = shmns:mode("rw")
>   },
> 
>   l4re_dbg = L4.Dbg.Warn,
>   log = { "l4linux", "yellow", "key=1" },
> }, "rom/" .. lxname .. " mem=512M l4memtype=pinned,continuous
> console=ttyLv0 l4x_rd=rom/ramdisk-4-" .. L4.Info.arch() .. ".rd root=1:0
> ramdisk_size=200704 rw init=/bin/sh earlyprintk=1 showpfexc=1 showghos\
> t=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1");
> 
> 
> =========
> arm-imx6.io <http://arm-imx6.io>
> =========
> 
> hw-root
> {
>   NIC => new Device()
>   {
>     .hid = "imx6q-fec.0";
>     new-res Mmio(0x02188000 .. 0x0218BFFF);
>     new-res Irq(150);
>     new-res Irq(151);
>   }
> 
>   DMAMEM => new Device()
>   {
>    .hid = "dmamem";
>    new-res Mmio_ram(0x80000, 0);
>   }
> }
> 
> l4linux => new System_bus()
> {
> #NIC => wrap(hw-root.NIC);
>   "imx6q-fec.dev" => wrap(hw-root.NIC);
>   "dmamem" => wrap(hw-root.DMAMEM);
> }
> 
> 
> 
> 
> 
> On Mon, Feb 29, 2016 at 1:34 PM, Mahdi Aichouch <foxmehdi at gmail.com
> <mailto:foxmehdi at gmail.com>> wrote:
> 
>     Hello,
> 
>     I tried to run the Bro IDS on top of L4Linux and L4 Fiasco, on a
>     Freescale i.MX6 ARM cortex A9.
> 
>     Starting the Bro program produces an unrecoverable error and make
>     the L4 Fiasco enter an endless loop as shown below : 
> 
>     Does anyone was able to run the Bro IDS on top of L4Linux on a ARMv7
>     board.
> 
>     Does someone has idea of how to track down the problem.
> 
>     Thank you very much in advance.
> 
>     Best regards,
>     Mahdi
> 
> 
>     /home # ./bro
>     warning in /home/scripts/base/init-bare.bro, line 1: problem
>     initializing NB-DNS: connect(0.0.0.0): Invalid argument
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
>     KERNEL: Warning: No page-fault handler for 0xffffffdc, error
>     0x9400084f, pc 0200ac80
>     /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
>     <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
>     ASSERTION FAILED (r->check_valid_user_psr())
> 
> 
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 




More information about the l4-hackers mailing list