History log of /seL4-test-master/kernel/src/arch/riscv/traps.S
Revision Date Author Comments
# 84992c89 25-Jul-2020 Stefan O'Rear <sorear2@gmail.com>

riscv: Use full width of scause

The exception code has been defined as all non-sign bits of scause since
before 1.10, and masking will cause other exceptions 8 mod 16 to be
misinterpreted as system calls (24 is the lowest exception code reserved
for vendor extensions; 40 is reserved for standard use; the H extension
defines several exceptions above 16 but none are 8 mod 16).

Signed-off-by: Stefan O'Rear <sorear2@gmail.com>


# 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.


# a6c9dcf8 06-Aug-2019 Yanyan Shen <yanyan.shen@data61.csiro.au>

riscv: Use sscratch for per-core kernel stack

When SMP is enabled, the sscratch register is used to
contain the per-core kernel stack instead of the current
running thread. We get the current running thread from the
top of the kernel stack.


# 01b73622 27-May-2019 Curtis Millar <curtis.millar@data61.csiro.au>

Consistent naming of FaultIP and NextIP in kernel

Always refer to the virtual register that stores the address of a fault
as FaultIP and the register that stores the return for a fault NextIP.


# 0c0a0061 10-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

riscv: Place traps in text section

Ensures that the traps are in the text section, and not the boot section, allowing for
kernel memory to be safely reused.


# 58fa1598 03-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

riscv: Sanitize traps and fastpath functions

This removes warnings by fixing prototypes of various traps and fastpath functions as well
as removing the use of custom sections.


# 9b0056da 03-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

riscv: remove HARTID


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

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64