History log of /seL4-test-master/tools/riscv-pk/pk/file.c
Revision Date Author Comments
# 7389e46c 30-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Move DRAM to high addresses


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

Refactor pk, bbl, machine into separate libraries

Yuck.


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

Fix struct stat size mismatch for RV32


# b9961802 21-Sep-2015 Darius Rad <darius@bluespec.com>

Fix macros for emulating atomic operations (--disable-atomics).


# 4a375723 14-Sep-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Add ftruncate syscall


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


# b222ef6b 20-Jan-2015 Christopher Celio <celio@eecs.berkeley.edu>

Increased max number of files,fds statically supported by pk.

The SPECINT benchmark 445.gobmk reads in a lot of files and would
sometimes fail due to being unable to open more files.


# 2934c5a6 12-Jun-2014 Andrew Waterman <waterman@eecs.berkeley.edu>

Add file reference counting sanity check


# 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.)


# d7e575c4 27-Apr-2014 Andrew Waterman <waterman@eecs.berkeley.edu>

Use atomic_cas instead of __sync_bool_compare_and_swap


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

Abandon MIPS convention for indicating syscall errors in register a3


# f62e692e 25-Nov-2013 Andrew Waterman <waterman@eecs.berkeley.edu>

Update to new privileged ISA


# cc72987e 13-Jul-2013 Andrew Waterman <waterman@cs.berkeley.edu>

Support Linux ABI and (optionally) virtual memory


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

add BSD license


# 15f31b54 24-Mar-2012 Andrew Waterman <waterman@eecs.berkeley.edu>

new supervisor mode


# 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


# be22e4ab 19-May-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] made PK smaller


# bbd999a0 16-May-2011 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

[sim,pk] cleanups & initial virtual memory support


# a7259c62 21-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] fixed lseek syscall


# 666ae0c9 08-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk,fesvr] pk now loads elfs itself

this allows it to detect 32b binaries


# 5490b1d6 29-Dec-2010 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

[pk] send stdout/stderr to both fesvr and debug console


# 77c382ff 18-Oct-2010 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] improved performance of fp emulation


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