Re: Running the Bro IDS on an ARMv7 board.
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi,
On 03/02/2016 03:09 PM, Mahdi Aichouch wrote:
> Hello Adam,
>
> Thank very much for your answer.
>
[snip]
> However, I remarked that the syntax in the Lua configuration files for
> Input-Output devices have been
> changed in the last L4Re version.
>
> Could you please help me to adapt my old configurations files to the new
> L4Re Lua syntax.
> Below are my configurations files:
Have you had a look into io's documentation [1]? There you can find a
description of how to define devices and how to assign them to virtual
busses.
Best,
Matthias.
[1] http://l4re.org/doc/io.html
>
> Thank you very much in advance.
>
> Best regards,
> Mahdi
>
>
> =======
> l4lx.cfg
> =======
>
> -- vim:set ft=lua:
>
> local lxname = "vmlinuz";
> if L4.Info.arch() == "arm" then
> lxname = "vmlinuz.arm";
> end
>
> loader = L4.default_loader;
> vbus_l4linux = loader:new_channel();
>
> local shmns = L4.default_loader:create_namespace({ shm = "something" });
> local cons = L4.default_loader:new_channel();
>
>
> L4.default_loader:start(
> {
> caps = { cons = cons:svr() }, log = L4.Env.log,
> },
> "rom/cons -k -a");
>
> L4.default_loader.log_fab = cons;
>
>
> loader:start(
> {
> ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
> caps = {
> sigma0 = L4.cast(L4.Proto.Factory,
> L4.Env.sigma0):create(L4.Proto.Sigma0);
> icu = L4.Env.icu;
> l4linux = vbus_l4linux:svr();
> },
>
> log = { "IO", "y" },
> l4re_dbg = L4.Dbg.Warn,
> }, "rom/io -vvv rom/arm-imx6.io <http://arm-imx6.io>");
>
>
> L4.default_loader:start(
> {
> ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map,
> caps = {
> vbus = vbus_l4linux;
> -- log = L4.Env.log:m("rws"),
> shmns = shmns:mode("rw")
> },
>
> l4re_dbg = L4.Dbg.Warn,
> log = { "l4linux", "yellow", "key=1" },
> }, "rom/" .. lxname .. " mem=512M l4memtype=pinned,continuous
> console=ttyLv0 l4x_rd=rom/ramdisk-4-" .. L4.Info.arch() .. ".rd root=1:0
> ramdisk_size=200704 rw init=/bin/sh earlyprintk=1 showpfexc=1 showghos\
> t=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1");
>
>
> =========
> arm-imx6.io <http://arm-imx6.io>
> =========
>
> hw-root
> {
> NIC => new Device()
> {
> .hid = "imx6q-fec.0";
> new-res Mmio(0x02188000 .. 0x0218BFFF);
> new-res Irq(150);
> new-res Irq(151);
> }
>
> DMAMEM => new Device()
> {
> .hid = "dmamem";
> new-res Mmio_ram(0x80000, 0);
> }
> }
>
> l4linux => new System_bus()
> {
> #NIC => wrap(hw-root.NIC);
> "imx6q-fec.dev" => wrap(hw-root.NIC);
> "dmamem" => wrap(hw-root.DMAMEM);
> }
>
>
>
>
>
> On Mon, Feb 29, 2016 at 1:34 PM, Mahdi Aichouch <[email protected]
> <mailto:[email protected]>> wrote:
>
> Hello,
>
> I tried to run the Bro IDS on top of L4Linux and L4 Fiasco, on a
> Freescale i.MX6 ARM cortex A9.
>
> Starting the Bro program produces an unrecoverable error and make
> the L4 Fiasco enter an endless loop as shown below :
>
> Does anyone was able to run the Bro IDS on top of L4Linux on a ARMv7
> board.
>
> Does someone has idea of how to track down the problem.
>
> Thank you very much in advance.
>
> Best regards,
> Mahdi
>
>
> /home # ./bro
> warning in /home/scripts/base/init-bare.bro, line 1: problem
> initializing NB-DNS: connect(0.0.0.0): Invalid argument
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
> KERNEL: Warning: No page-fault handler for 0xffffffdc, error
> 0x9400084f, pc 0200ac80
> /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821
> <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56:
> ASSERTION FAILED (r->check_valid_user_psr())
>
>
>
>
> _______________________________________________
> l4-hackers mailing list
> [email protected]
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>