History log of /seL4-l4v-10.1.1/seL4/src/arch/riscv/api/faults.c
Revision Date Author Comments
# 937d0423 04-Apr-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

riscv: fix style


# 05a914b6 03-Apr-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

SELFOUR-1276: set PrefetchFault MR for riscv

This was being tracked in the fault_t, but not set as part of the
message to the user.


# 83ba0847 20-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64