History log of /seL4-test-master/tools/riscv-pk/machine/unprivileged_memory.h
Revision Date Author Comments
# 16476bd8 09-Jul-2018 Andrew Waterman <andrew@sifive.com>

Properly license all nontrivial files


# 18087efa 24-Oct-2017 Andrew Waterman <andrew@sifive.com>

Make 4-byte aligned instruction-emulation loads atomic

Per the Unix-class platform spec


# 770dcd9f 18-Apr-2017 Andrew Waterman <andrew@sifive.com>

Fix RV32 compilation error


# 3a3c1f5a 11-Apr-2017 Andrew Waterman <andrew@sifive.com>

Load instructions as unsigned values, not signed

This matches the behavior of mbabaddr/mtval.


# 7c476502 19-Feb-2017 Andrew Waterman <andrew@sifive.com>

Handle IPIs and timer interrupts more quickly


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

Emulate RVFC instructions


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

avoid non-standard predefined macros


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

Udpate to new PTE format


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

Refactor pk, bbl, machine into separate libraries

Yuck.