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/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h<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