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

Properly license all nontrivial files
# 9fa7b308 27-Mar-2017 Wesley W. Terpstra <wesley@sifive.com>

uart: add physical device driver