Hi Leonid,
Not sure if/where there is complete documentation for what you're asking, but the reference manual has register descriptions for some of the mentioned faults in chapter 6.2. For the ones that don't have full register descriptions there, you might find the following files useful
https://github.com/seL4/seL4/blob/cc3205ea486f6ce3da3a64d8a99e166f047b8419/l...https://github.com/seL4/seL4/blob/cc3205ea486f6ce3da3a64d8a99e166f047b8419/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h#L48 https://github.com/seL4/seL4/blob/master/libsel4/include/sel4/shared_types.h...
https://github.com/seL4/seL4/blob/master/src/api/faults.c#L191 https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/64/mode/machi... https://github.com/seL4/seL4/blob/master/src/arch/arm/api/faults.c#L33
- Alwin
________________________________ From: Leonid Meyerovich leonid@trustedst.com Sent: Tuesday, January 23, 2024 7:03 AM To: devel@sel4.systems devel@sel4.systems Subject: [seL4] seL4 fault handling
[Some people who received this message don't often get email from leonid@trustedst.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]
Hello,
Where can I find a comprehensive description of fault message registers for every of the following faults
enum seL4_Fault_tag { seL4_Fault_NullFault = 0, seL4_Fault_CapFault = 1, seL4_Fault_UnknownSyscall = 2, seL4_Fault_UserException = 3, seL4_Fault_VMFault = 5, seL4_Fault_VGICMaintenance = 6, seL4_Fault_VCPUFault = 7, seL4_Fault_VPPIEvent = 8 };
Thanks, LM _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems