Hi seL4 community,
I have ported sel4 to NXP S32G RBD3 board. It runs fine till kernel but just before dropping to the user space. after that in the debug serial terminal, i am encountering below errors :
"Caught cap fault in send phase at address 0
while trying to handle :
vm fault on code at address 0 with status 0x82000006 "
How to proceed further on this error ? Any idea or lead would be really helpful.
VM fault means your application caused a virtual memory fault (segfault), probably at address 0x82000006. The initial task has no fault handler, hence first error message, but ignore that, focus on the actual fault.
Thankyou Indan for the lead, I am able to locate the root cause and resolve the issue by suspending my own TCB to exit more “cleanly”, which means when the root task exists, it should simply suspend itself, so it dose not give you Stack DUMP with a CRASH. No more CAP/Virtual Memory fault observed.