Age | Commit message (Expand) | Author | Files | Lines |
2021-03-26 | pk: don't init files until VM setup is complete | Andrew Waterman | 1 | -2/+2 |
2021-03-25 | pk: refactor vm free list management | Andrew Waterman | 1 | -2/+7 |
2021-03-25 | pk: support >2 GiB of user memory for RV64 | Andrew Waterman | 1 | -9/+27 |
2021-03-25 | pk: only access user memory through explicit accessors | Andrew Waterman | 1 | -6/+8 |
2020-11-11 | pk: Fix pushing of argc to match linux kernel behaviour | Marcus Comstedt | 1 | -3/+3 |
2020-01-13 | Enable vector unit if present (continuation of 77a5df569451571d608650a34183d5... | Andrew Waterman | 1 | -1/+1 |
2019-10-23 | Add --help (#179) | Luís Marques | 1 | -14/+35 |
2019-10-22 | Make performance counters always 64 bits wide (#178) | Luís Marques | 1 | -3/+3 |
2019-05-09 | Allow up to 2 KiB of arguments | Andrew Waterman | 1 | -1/+4 |
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 |
2017-11-02 | Detect harts that can't boot Linux instead of hard-coding them | Palmer Dabbelt | 1 | -0/+1 |
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 |
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 |
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 |
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 |
2013-01-25 | rename binary to pk; change argv handling | Andrew Waterman | 1 | -185/+0 |
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 |
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 |
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 |