seL4/include/arch
Anna Lyons a39c9b6a76 RISC-V: handle all faults
This change alters RISC-V fault handling to pass all non-VM faults as
user exceptions. As we cannot guarantee what the hardware will send us
in the scause register, we must handle all possible values.

It also makes fault handling more consistent with other architectures in
c_traps.c.
2019-03-15 08:35:47 +11:00
..
arm handleReservedIRQ now implemented on arch level except for pc99 2019-03-14 15:23:54 +11:00
riscv/arch RISC-V: handle all faults 2019-03-15 08:35:47 +11:00
x86/arch bitfields: Split definition cannonical addresses 2019-02-08 17:17:02 +11:00