History log of /seL4-test-master/tools/riscv-pk/machine/htif.c
Revision Date Author Comments
# 706cc77c 15-Aug-2018 Andrew Waterman <aswaterman@gmail.com>

Fix printm on RV32 (#119)

Use a proxy syscall instead of a blocking character write.

Resolves #84


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


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

Don't block for acks on console writes


# 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