History log of /seL4-test-master/tools/riscv-pk/pk/frontend.c
Revision Date Author Comments
# 926b3606 17-Feb-2017 Andrew Waterman <andrew@sifive.com>

WIP towards ECALL interface for SBI


# 611290cc 15-Feb-2017 Andrew Waterman <andrew@sifive.com>

Cleanly separate HTIF code; don't poll keyboard on timer interrupt


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

zero-extend RV32 physical addresses for HTIF


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


# a79f62f7 17-Mar-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Merge [shm]call into ecall, [shm]ret into eret


# 438823e1 13-Mar-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Use hcall instead of mcall for sbi calls


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


# 053aa8ff 03-Jun-2014 Andrew Waterman <waterman@eecs.berkeley.edu>

Turn off interrupts when talking to host


# 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


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

Update to new privileged ISA


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

add BSD license


# 8c4a41f9 17-Nov-2012 Andrew Waterman <waterman@eecs.berkeley.edu>

fix spinlocks; add --disable-atomics cfg opt


# 2260383b 01-Aug-2012 Andrew Waterman <waterman@eecs.berkeley.edu>

new tohost/fromhost semantics


# 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


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

[sim,pk] cleanups & initial virtual memory support


# 69ddca76 12-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] add cache flush after program load


# 64d0c676 12-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[xcc,pk,sim] added privileged cflush instruction


# 4baf0c99 25-Mar-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[xcc,pk,opcodes,sim] updated encoding/insn names


# 2b7fd5fa 11-Oct-2010 Yunsup Lee <yunsup@cs.berkeley.edu>

[pk] no amos for now, add a sync before triggering the frontend


# 2351867c 06-Sep-2010 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

[sim, xcc] added PCRs to replace k0 and k1


# dd84f574 24-Aug-2010 Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>

[pk] proxy kernel support for mixed 32b/64b operation


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