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/l... 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 Sent: Tuesday, January 23, 2024 7:03 AM To: 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

Hi Leonid Section 6.2 of the user manual (https://sel4.systems/Info/Docs/seL4-manual-latest.pdf is the manual for the latest seL4 release) describes each fault. Although the architecture specific ones such as VGICMaintenance, VCPUFault, and VPPIEvent seem to be missing. Ivan On 23/01/2024, at 7:03 AM, Leonid Meyerovich wrote: [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