[seL4] Re: seL4 fault handling

Thank you, links are very helpful On Mon, Jan 22, 2024 at 4:36 PM Alwin Joshy wrote:

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