Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-07-09 | Properly license all nontrivial files | Andrew Waterman | 1 | -0/+2 | |
2018-04-24 | Enable FPU in PK, regardless of FPU presence | Andrew Waterman | 1 | -1/+1 | |
Otherwise, the emulation code will refuse to emulate FP instructions. | |||||
2017-11-02 | Detect harts that can't boot Linux instead of hard-coding them | Palmer Dabbelt | 1 | -0/+1 | |
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. | |||||
2017-03-23 | pk: does not use dtb | Wesley W. Terpstra | 1 | -1/+1 | |
2017-03-22 | SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdt | Wesley W. Terpstra | 1 | -3/+3 | |
2017-03-21 | Allow PK access to user memory | Andrew Waterman | 1 | -0/+1 | |
2017-02-17 | WIP towards ECALL interface for SBI | Andrew Waterman | 1 | -1/+1 | |
2016-11-13 | Add ability to hard-code an initial environment | Andrew Waterman | 1 | -2/+18 | |
2016-09-09 | Add -p flag to pk to disable demand paging | Andrew Waterman | 1 | -0/+4 | |
2016-08-10 | when -s is passed, print time, instret, cycle, and CPI | Andrew Waterman | 1 | -3/+6 | |
2016-07-12 | Remove uarch counters | Andrew Waterman | 1 | -42/+0 | |
We'll re-add support for the generic performance counter facility once it exists. | |||||
2016-04-30 | Move DRAM to high addresses | Andrew Waterman | 1 | -1/+1 | |
2016-04-06 | Don't assume existence of uarch counters | Andrew Waterman | 1 | -20/+37 | |
2016-03-09 | Refactor pk, bbl, machine into separate libraries | Andrew Waterman | 1 | -13/+82 | |
Yuck. | |||||
2016-03-05 | get rid of struct mainvars | Andrew Waterman | 1 | -10/+10 | |
2016-03-05 | Disentangle PK and BBL a bit | Andrew Waterman | 1 | -0/+1 | |
2016-02-19 | WIP on priv spec v1.9 | Andrew Waterman | 1 | -0/+2 | |
2016-02-19 | Remove incorrect code supporting ELF32 on RV64 and vice-versa | Andrew Waterman | 1 | -5/+2 | |
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. | |||||
2015-05-29 | Make boot loader/SBI changes to support SMP Linux | Andrew Waterman | 1 | -0/+7 | |
2015-05-10 | Split pk functionality into pk and bbl | Andrew Waterman | 1 | -0/+99 | |
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). | |||||
2013-01-25 | rename binary to pk; change argv handling | Andrew Waterman | 1 | -185/+0 | |
the new fesvr approach makes argv[0] = pk, rather than user program's name | |||||
2012-03-24 | new supervisor mode | Andrew Waterman | 1 | -2/+2 | |
2011-11-11 | Synced up PK with supervisor changes/asm syntax | Andrew Waterman | 1 | -3/+9 | |
You must upgrade to the latest compiler and ISA simulator to build and run this version of the PK. | |||||
2011-06-19 | temporary undoing of renaming | Andrew Waterman | 1 | -0/+179 | |
2011-06-19 | Renamed packages | Andrew Waterman | 1 | -179/+0 | |
2011-04-15 | [pk] limit programs to 2GB (for RV32 simplicity) | Andrew Waterman | 1 | -6/+9 | |
2011-04-15 | [pk] load pk at addr 0; user stack top = MEMSIZE | Andrew Waterman | 1 | -6/+5 | |
2011-04-12 | [pk] add cache flush after program load | Andrew Waterman | 1 | -0/+1 | |
2011-04-09 | [sim,pk] reorganized status register | Andrew Waterman | 1 | -1/+1 | |
2011-04-09 | [xcc,pk,sim,opcodes] added first RVC instruction | Andrew Waterman | 1 | -3/+4 | |
2011-04-08 | [pk,fesvr] pk now loads elfs itself | Andrew Waterman | 1 | -10/+26 | |
this allows it to detect 32b binaries | |||||
2010-12-29 | [pk] send stdout/stderr to both fesvr and debug console | Andrew Waterman | 1 | -1/+1 | |
2010-11-21 | [opcodes, pk, sim, xcc] Tweaked FP encoding | Andrew Waterman | 1 | -1/+0 | |
2010-11-21 | [pk] various PK cleanups/speedups | Andrew Waterman | 1 | -0/+1 | |
2010-11-21 | [xcc, sim, pk] link register is now x1 | Andrew Waterman | 1 | -2/+2 | |
2010-10-26 | [pk,sim,xcc] get rid of at register, introduce tp register | Yunsup Lee | 1 | -5/+5 | |
2010-10-18 | [pk] improved performance of fp emulation | Andrew Waterman | 1 | -18/+4 | |
2010-10-17 | [pk] zero out fp regs | Yunsup Lee | 1 | -0/+13 | |
2010-10-15 | [pk, sim] added FPU emulation support to proxy kernel | Andrew Waterman | 1 | -2/+4 | |
2010-08-24 | [pk] proxy kernel support for mixed 32b/64b operation | Andrew Waterman | 1 | -1/+1 | |
2010-08-18 | [pk,fesvr] improved proxykernel build system | Andrew Waterman | 1 | -0/+158 | |
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. |