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