History log of /seL4-refos-master/kernel/src/arch/riscv/api/faults.c
Revision Date Author Comments
# 9100cadb 24-Apr-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

riscv: reorder setMR to align to enum

Aligning the order of setMR writes to the enum order avoids having
to prove that the operations commute.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# 79da0792 01-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.


# d0930f67 18-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

style: consistently attach return type

Add attach-return-type to astyle


# 761006e0 18-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

style: consistently align pointer with name

Run astyle with align-pointer=name


# 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