Running the Bro IDS on an ARMv7 board.

Mahdi Aichouch foxmehdi at gmail.com
Wed Mar 2 15:09:58 CET 2016


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 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/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->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())
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160302/b4fe78d0/attachment-0001.html>


More information about the l4-hackers mailing list