the manual could do with more information on how to handle faults

[midnightveil]

The section on faults is quite vague and doesn't really explain how to use the seL4_MessageInfo_t to learn about information about the fault, and maybe read registers of the faulter, etc.

@dreamliner787-9