History log of /seL4-test-master/tools/riscv-pk/pk/pk.c
Revision Date Author Comments
# cb253a3f 09-May-2019 Andrew Waterman <andrew@sifive.com>

Allow up to 2 KiB of arguments

Closes #161


# 16476bd8 09-Jul-2018 Andrew Waterman <andrew@sifive.com>

Properly license all nontrivial files


# f2aaee46 24-Apr-2018 Andrew Waterman <andrew@sifive.com>

Enable FPU in PK, regardless of FPU presence

Otherwise, the emulation code will refuse to emulate FP instructions.


# 92047850 02-Nov-2017 Palmer Dabbelt <palmer@dabbelt.com>

Detect harts that can't boot Linux instead of hard-coding them

This checks to see if a hart can't boot Linux by looking for a
compatible "mmu-type" field. If the hart can't boot Linux, then bbl
masks it off.


# 96965a8c 23-Mar-2017 Wesley W. Terpstra <wesley@sifive.com>

pk: does not use dtb


# 23ab37ad 22-Mar-2017 Wesley W. Terpstra <wesley@sifive.com>

SBI: a0+a1 hold hartid+dtb pointer between boot loader stages


# 7d60c590 21-Mar-2017 Andrew Waterman <andrew@sifive.com>

Allow PK access to user memory


# 926b3606 17-Feb-2017 Andrew Waterman <andrew@sifive.com>

WIP towards ECALL interface for SBI


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

Add ability to hard-code an initial environment


# 4a6b2059 09-Sep-2016 Andrew Waterman <waterman@cs.berkeley.edu>

Add -p flag to pk to disable demand paging


# 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


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


# 33ed6c6c 05-Mar-2016 Andrew Waterman <waterman@cs.berkeley.edu>

get rid of struct mainvars


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

Disentangle PK and BBL a bit


# ad7a60ab 05-Feb-2016 Andrew Waterman <waterman@cs.berkeley.edu>

WIP on priv spec v1.9


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


# cffdcee3 29-May-2015 Andrew Waterman <waterman@cs.berkeley.edu>

Make boot loader/SBI changes to support SMP Linux


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


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

new supervisor mode


# 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


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

[pk] limit programs to 2GB (for RV32 simplicity)


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

[pk] load pk at addr 0; user stack top = MEMSIZE


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

[pk] add cache flush after program load


# 53eb346e 09-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[sim,pk] reorganized status register


# 6e7fe98e 09-Apr-2011 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[xcc,pk,sim,opcodes] added first RVC instruction


# 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


# 63729473 09-Nov-2010 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[opcodes, pk, sim, xcc] Tweaked FP encoding


# 783c0ec8 05-Nov-2010 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[pk] various PK cleanups/speedups


# 4daccfc1 02-Nov-2010 Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU>

[xcc, sim, pk] link register is now x1


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

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


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

[pk] improved performance of fp emulation


# 9297008e 17-Oct-2010 Yunsup Lee <yunsup@cs.berkeley.edu>

[pk] zero out fp regs


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

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


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