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

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