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
