l4-hackers March 2016

l4-hackers@os.inf.tu-dresden.de

16 participants
13 discussions

FYI: microkernel.info community site
by Jakub Jermář 14 Mar '16

14 Mar '16

Hello, just FYI, I have set up a simple web page[1] to promote the wider microkernel community and its goals. So far, the page comes with a brief description of the microkernel concept and an incomplete list of microkernel projects with links to each project's web. The description is made out of the first two sentences I found in the "What is XYZ" section or elsewhere on the web of the respective project. I also took the freedom to use the respective project's logo (or what I believed was the project's logo) for promoting it. I hope you will find this small web a good idea. It was inspired by a similar (though a little bit more informative) site set up by the unikernel community [2]. The sources of the [1] web are hosted on Github [3], so feel free to submit issues or PR to make the site better. Please send me a PM if there are any issues pertaining your project's cartouche that cannot be dealt with using Github. Thanks, Jakub [1] http://microkernel.info [2] http://unikernel.org/projects/ [3] https://github.com/jermar/microkernel.info

5 5

Running the Bro IDS on an ARMv7 board.
by Mahdi Aichouch 03 Mar '16

03 Mar '16

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

3 5

Re: Question about "TheGuide to access HW on L4Linux"
by Taeung Song 01 Mar '16

01 Mar '16

Hi, Manolis I renamed the file but I didn't know that a download link of it was broken.. :) So, Share "L4/Fiasco/L4Linux : Porting and Device driver guide on ARM (imx6q cortex-a9)" ,again. :-) http://developerpostit.blogspot.kr/2014/08/device-driver-guide-on-l4linux.h… The guide PDF can be downloaded on this page. Thanks, Taeung On 03/01/2016 11:55 PM, Manolis Ragkousis wrote: > Hello there, > > I found an old mail from 2014 in the l4-hackers mailing list which you > gave a link to a file named "The_Guide_to_access_HW_on_L4Linux_v1.0.pdf" > but unfortunately it is not available anymore. > > Is it still possible to get a copy of that file? L4/Fiasco is part of my > bachelor thesis and that pdf file will be really helpfull. > > Thank you for your time, > Manolis >

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers March 2016