History log of /seL4-test-master/tools/riscv-pk/machine/encoding.h
Revision Date Author Comments
# d3293c7c 10-Jul-2019 Yanyan Shen <yanyan.shen@data61.csiro.au>

bbl: redirect traps to HS mode


# 3d921d3c 12-Dec-2017 Andrew Waterman <andrew@sifive.com>

Bump encoding.h


# 66701f82 04-May-2017 Andrew Waterman <andrew@sifive.com>

FMV.X.S/FMV.S.X -> FMV.X.W/FMV.W.X


# 078ea399 30-Mar-2017 Andrew Waterman <andrew@sifive.com>

New PMP encoding


# 3473915b 27-Mar-2017 Andrew Waterman <andrew@sifive.com>

Separate page faults from physical memory access exceptions


# 7d60c590 21-Mar-2017 Andrew Waterman <andrew@sifive.com>

Allow PK access to user memory


# cfc4554b 16-Mar-2017 Andrew Waterman <andrew@sifive.com>

Simplify interrupt-stack discipline

https://github.com/riscv/riscv-isa-manual/commit/f2ed45b1791bb602657adc2ea9ab5fc409c62542


# d2030378 25-Feb-2017 Andrew Waterman <andrew@sifive.com>

PPNs are 44 bits in RV64


# 410fb038 25-Feb-2017 Andrew Waterman <andrew@sifive.com>

New counter-enable scheme

https://github.com/riscv/riscv-isa-manual/issues/10


# 34979b93 22-Feb-2017 Andrew Waterman <andrew@sifive.com>

Fix PK boot


# 4678e84c 15-Feb-2017 Andrew Waterman <andrew@sifive.com>

Incorporate sptbr/sfence.vma changes


# f6b2274a 06-Dec-2016 Andrew Waterman <andrew@sifive.com>

avoid non-standard predefined macros


# 08a6142a 26-Aug-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Update to new counter spec


# f6eff201 06-Jul-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Udpate to new PTE format


# 8b41191c 05-Jul-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Initialize timecmp; add PRCI test


# 771c1163 01-Jun-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Clear IPIs using MMIO, not mip CSR


# 113d00e6 22-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Add preliminary support for the interrupt controller


# ee610c0f 03-May-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Find IPI address in configuration string


# 7389e46c 30-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Move DRAM to high addresses


# b535cd6d 29-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

ERET -> MRET


# 66776bbc 29-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove mtime/mtimecmp


# ee00503e 06-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Don't assume existence of uarch counters


# 8bd01c79 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Update encoding


# b94c7a4b 10-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Refactor pk, bbl, machine into separate libraries

Yuck.