Hello Adam,

Thank very much for your answer.

Yes, cross-compiling the Bro IDS was not straightforward. It depends on a lot of libraries and requires a lot of
manual "not proper" adaptation...

Regarding the use of last version of L4RE, there is a small issue which is that
we already implemented the i.MX6 ethernet driver in L4Linux from l4re-snapshot-2014092821.

So, looking into source tree of L4Linux from last version of L4Re, I saw that the imx6q-fec ethernet driver was integrated,
but when I looked into the Linux menu-configuration tool I didn't not found it in:

"Device Drivers > Network device support > Ethernet driver support"

Could you please tell me where should I look to enable the imx6q-fec ethernet driver?

Nevertheless, I tested  the Bro IDS on the last version of L4Re + L4Linux on the i.MX6 board and
everything worked correctly! 

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:

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");


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

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> 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/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())

KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80
/home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())