Missing faults in manual #1234
Comments
|
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. |
|
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. |
This resolves issue seL4#1234. Signed-off-by: Indan Zupancic <[email protected]>
This resolves issue seL4#1234. Signed-off-by: Indan Zupancic <[email protected]>
This resolves issue #1234. Signed-off-by: Indan Zupancic <[email protected]>
|
Not all the faults outline the contents of the IPC buffer when you receive the fault. User exceptions are one example. |
|
Unknown syscall exception retains the content of the failing call, so it's defined. User exceptions don't do it because it architecture dependent I think, but that could be fixed. I can't find any other though. |
This resolves issue #1234. Signed-off-by: Indan Zupancic <[email protected]>
There are some fault types missing from the manual, such as:
seL4_Fault_VGICMaintenance)seL4_Fault_VCPUFault)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.
The text was updated successfully, but these errors were encountered: