Missing faults in manual

[Ivan-Velickovic]

There are some fault types missing from the manual, such as:

• VGIC maintenance faults (seL4_Fault_VGICMaintenance)
• VCPU faults (seL4_Fault_VCPUFault)
• VPPI events (seL4_Fault_VPPIEvent)

I suspect these are missing since they are ARM specific, and only available in hypervisor mode.

I don't think that there are any others missing.

[Indanz]

I'll add them to #1232. I'll document them in the ARM virtualisation section as I don't see any other place where to add them.

[Ivan-Velickovic]

Do they not belong in the 'Faults' section (6.2) of the manual?

[Indanz]

Do they not belong in the 'Faults' section (6.2) of the manual?

Probably, but it seems the wrong place for arch specific information. I'm not happy with that section, it's currently part general documentation, part API reference and it's being abused to document debugging, but that should have been documented elsewhere.

I'll add the ARM virtualisation faults there, but it will make the whole section even more of a mash up.