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

Properly license all nontrivial files


# d1849cb5 03-Nov-2017 Palmer Dabbelt <palmer@dabbelt.com>

Remove the platform interface

We now automatically detect everything that the platform interface used
to be used for, so it's now obsolete!


# 66fda264 20-Feb-2017 Andrew Waterman <andrew@sifive.com>

minor HTIF cleanup + use WFI


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

Cleanly separate HTIF code; don't poll keyboard on timer interrupt


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

avoid non-standard predefined macros


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

Refactor pk, bbl, machine into separate libraries

Yuck.