Hello,
I'm currently in trying to get microkit running on the BananaPI-F3.
Please keep in mind that I'm just starting in the seL4 ecosystem and that the issue could be rooted in a misunderstanding on my part.
During my testing I've noticed that contrary to the comment in loader/src/riscv/exceptions.c:arch_set_exception_handler the M-Mode doesn't seem to catch all exceptions (especially page faults).
I think that at least the debug config should have a page fault handler so that one can at least see scause, stval and sepc if the boot fails.
I'm running the vendor supplies OpenSBI and U-Boot.
Greetings
Paul
Hello,
I'm currently in trying to get microkit running on the BananaPI-F3.
Please keep in mind that I'm just starting in the seL4 ecosystem and that the issue could be rooted in a misunderstanding on my part.
During my testing I've noticed that contrary to the comment in
loader/src/riscv/exceptions.c:arch_set_exception_handlerthe M-Mode doesn't seem to catch all exceptions (especially page faults).I think that at least the debug config should have a page fault handler so that one can at least see scause, stval and sepc if the boot fails.
I'm running the vendor supplies OpenSBI and U-Boot.
Greetings
Paul