History log of /seL4-test-master/tools/riscv-pk/pk/syscall.c
Revision Date Author Comments
# a1c125dd 28-Feb-2019 Luís Marques <luis@luismarques.eu>

Stub out madvise syscall (#145)


# 31e531b2 04-Jan-2019 Luís Marques <luis@luismarques.eu>

Implement clock_gettime syscall (#139)


# e5846a2b 01-Feb-2018 Andrew Waterman <andrew@sifive.com>

Bump the Linux version PK claims to support

This makes it more compatible with recent glibc.


# fb4e3122 29-Aug-2017 Andrew Waterman <andrew@sifive.com>

Stub out sys_prlimit64


# f6b2274a 06-Dec-2016 Andrew Waterman <andrew@sifive.com>

avoid non-standard predefined macros


# 8039c6ca 13-Nov-2016 Andrew Waterman <andrew@sifive.com>

For RV32, mmap offset is in 4 KiB increments


# 558039d5 13-Nov-2016 Andrew Waterman <andrew@sifive.com>

Add syscall stubs to get through libpthread initializers


# 0a7862c7 10-Aug-2016 Andrew Waterman <waterman@cs.berkeley.edu>

when -s is passed, print time, instret, cycle, and CPI


# d88671ef 12-Jul-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove uarch counters

We'll re-add support for the generic performance counter facility once
it exists.


# 7389e46c 30-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Move DRAM to high addresses


# 1baf122e 20-Apr-2016 Garret Kelly <gdk@google.com>

pk: proxy chdir syscall to fesvr


# ee00503e 06-Apr-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Don't assume existence of uarch counters


# 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


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

Fix struct stat size mismatch for RV32


# 31ad71b8 19-Feb-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Remove incorrect code supporting ELF32 on RV64 and vice-versa

This is technically possible by running an RV32 supervisor on an
RV64 machine, but the M-mode and S-mode code would need to be
compiled and linked separately.


# 676c953b 19-Jan-2016 Colin Schmidt <colins@eecs.berkeley.edu>

add renameat syscall


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

Add ftruncate syscall


# cc3a93bf 11-Sep-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Stub out a few system calls


# 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


# 5c864501 09-Feb-2015 Andrew Waterman <waterman@cs.berkeley.edu>

work in progress on new supervisor spec


# d05359c1 26-Jan-2015 Andrew Waterman <waterman@eecs.berkeley.edu>

return -ENOSYS for ioctl, rather than aborting


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


# fda0d85a 26-Oct-2014 Andrew Waterman <waterman@cs.berkeley.edu>

Don't rely on the C library


# 1d953bf6 11-Sep-2014 Andrew Waterman <waterman@eecs.berkeley.edu>

Support glibc 2.20 programs


# 024053cd 10-Aug-2014 Christopher Celio <celio@eecs.berkeley.edu>

Fix uarch counter printout type.


# 5eba64df 07-Aug-2014 Christopher Celio <celio@eecs.berkeley.edu>

Added "-c" option to track uarch counter info.


# 7b6a968c 13-Jun-2014 Christopher Celio <celio@eecs.berkeley.edu>

Changes to allow spike & RTL behavior to better match each other.

- EI turned off on sys_exit.
- IM/IP cleared on start.
- badvaddr only saved to tf on page faults.


# 8fc3a35b 27-May-2014 Colin Schmidt <colins@berkeley.edu>

Allow mmap to map new segments larger than 1 page on top of existing mappings and add mprotect syscall


# 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


# dc49b2b1 13-Dec-2013 Andrew Waterman <waterman@cs.berkeley.edu>

Add times syscall


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

Update to new privileged ISA


# 6c0a4423 13-Nov-2013 Andrew Waterman <waterman@eecs.berkeley.edu>

Add gettimeofday syscall


# 00f72998 11-Sep-2013 Andrew Waterman <waterman@cs.berkeley.edu>

Add some syscalls


# 80a4afcb 19-Jul-2013 Andrew Waterman <waterman@cs.berkeley.edu>

Remove extraneous printk


# 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


# 8717517e 11-Nov-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

Synced up PK with supervisor changes/asm syntax

You must upgrade to the latest compiler and ISA
simulator to build and run this version of the PK.


# 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


# ba0cf054 15-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] fixed timer interrupt bug, etc.


# 9fe7d4f6 26-Oct-2010 Yunsup Lee <yunsup@cs.berkeley.edu>

[pk,sim,xcc] get rid of at register, introduce tp register


# b4fd490d 15-Oct-2010 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk, sim] added FPU emulation support to proxy kernel


# d196c68c 07-Sep-2010 Yunsup Lee <yunsup@cs.berkeley.edu>

[pk] new register mappings


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