l4-hackers
Threads by month
- ----- 2026 -----
- March
- February
- January
- ----- 2025 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2006 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2005 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2004 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2003 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2002 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2001 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2000 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1999 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1998 -----
- December
- November
- October
March 2016
- 16 participants
- 13 discussions
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
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
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