aboutsummaryrefslogtreecommitdiff
path: root/pk/frontend.h
AgeCommit message (Expand)AuthorFilesLines
2016-07-12zero-extend RV32 physical addresses for HTIFAndrew Waterman1-1/+1
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-12/+0
2016-03-05Disentangle PK and BBL a bitAndrew Waterman1-1/+1
2016-02-28Remove SBI HTIF support; add console_getcharAndrew Waterman1-1/+0
2016-02-19Fix struct stat size mismatch for RV32Andrew Waterman1-0/+26
2015-05-10Split pk functionality into pk and bblAndrew Waterman1-0/+1
2015-03-12Update to new privileged specAndrew Waterman1-0/+15
2015-01-20Support linkat, unlinkat, mkdirat syscallsAndrew Waterman1-1/+1
2014-05-22Add several syscalls, and move syscall header file from newlibColin Schmidt1-1/+1
2014-02-04Abandon MIPS convention for indicating syscall errors in register a3Andrew Waterman1-3/+1
2013-03-25add BSD licenseAndrew Waterman1-0/+2
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+8
2011-06-19Renamed packagesAndrew Waterman1-8/+0
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+8