History log of /seL4-camkes-master/tools/riscv-pk/pk/frontend.h
Revision Date Author Comments
# 6bead319 12-Jul-2016 Andrew Waterman <waterman@cs.berkeley.edu>

zero-extend RV32 physical addresses for HTIF


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

Refactor pk, bbl, machine into separate libraries

Yuck.


# 80447e57 05-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Disentangle PK and BBL a bit


# d2d2e0a5 28-Feb-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove SBI HTIF support; add console_getchar


# 7016bac5 19-Feb-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Fix struct stat size mismatch for RV32


# 87683e74 10-May-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Split pk functionality into pk and bbl

pk is now an AEE only (i.e. it can only execute user programs).
bbl is now an SEE only (i.e. it can only host kernels).


# 6517fe26 12-Mar-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Update to new privileged spec


# 0a81fd3a 20-Jan-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Support linkat, unlinkat, mkdirat syscalls

Also, old-style syscalls e.g. open are now implemented with e.g. openat.


# e50dc18f 22-May-2014 Colin Schmidt <colins@berkeley.edu>

Add several syscalls, and move syscall header file from newlib
syscalls added (openat, access, accessat, faccessat, etc.)


# f1f8dbbe 04-Feb-2014 Andrew Waterman <waterman@eecs.berkeley.edu>

Abandon MIPS convention for indicating syscall errors in register a3


# accebe9e 25-Mar-2013 Andrew Waterman <waterman@cs.berkeley.edu>

add BSD license


# 0edaecc5 19-Jun-2011 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

temporary undoing of renaming


# e63e4fbe 19-Jun-2011 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

Renamed packages


# 29cc0dc9 18-Aug-2010 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

[pk,fesvr] improved proxykernel build system

Now uses a modified MCPPBS. Add --host=riscv to configure path.

Front-end server now just searches PATH for riscv-pk, so just install the pk
to somewhere in your path.