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 <leonid@trustedst.com> 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