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.
/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())