aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.c
AgeCommit message (Expand)AuthorFilesLines
2021-03-26pk: don't init files until VM setup is completeAndrew Waterman1-2/+2
2021-03-25pk: refactor vm free list managementAndrew Waterman1-2/+7
2021-03-25pk: support >2 GiB of user memory for RV64Andrew Waterman1-9/+27
2021-03-25pk: only access user memory through explicit accessorsAndrew Waterman1-6/+8
2020-11-11pk: Fix pushing of argc to match linux kernel behaviourMarcus Comstedt1-3/+3
2020-01-13Enable vector unit if present (continuation of 77a5df569451571d608650a34183d5...Andrew Waterman1-1/+1
2019-10-23Add --help (#179)Luís Marques1-14/+35
2019-10-22Make performance counters always 64 bits wide (#178)Luís Marques1-3/+3
2019-05-09Allow up to 2 KiB of argumentsAndrew Waterman1-1/+4
2018-07-09Properly license all nontrivial filesAndrew Waterman1-0/+2
2018-04-24Enable FPU in PK, regardless of FPU presenceAndrew Waterman1-1/+1
2017-11-02Detect harts that can't boot Linux instead of hard-coding themPalmer Dabbelt1-0/+1
2017-03-23pk: does not use dtbWesley W. Terpstra1-1/+1
2017-03-22SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdtWesley W. Terpstra1-3/+3
2017-03-21Allow PK access to user memoryAndrew Waterman1-0/+1
2017-02-17WIP towards ECALL interface for SBIAndrew Waterman1-1/+1
2016-11-13Add ability to hard-code an initial environmentAndrew Waterman1-2/+18
2016-09-09Add -p flag to pk to disable demand pagingAndrew Waterman1-0/+4
2016-08-10when -s is passed, print time, instret, cycle, and CPIAndrew Waterman1-3/+6
2016-07-12Remove uarch countersAndrew Waterman1-42/+0
2016-04-30Move DRAM to high addressesAndrew Waterman1-1/+1
2016-04-06Don't assume existence of uarch countersAndrew Waterman1-20/+37
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-13/+82
2016-03-05get rid of struct mainvarsAndrew Waterman1-10/+10
2016-03-05Disentangle PK and BBL a bitAndrew Waterman1-0/+1
2016-02-19WIP on priv spec v1.9Andrew Waterman1-0/+2
2016-02-19Remove incorrect code supporting ELF32 on RV64 and vice-versaAndrew Waterman1-5/+2
2015-05-29Make boot loader/SBI changes to support SMP LinuxAndrew Waterman1-0/+7
2015-05-10Split pk functionality into pk and bblAndrew Waterman1-0/+99
2013-01-25rename binary to pk; change argv handlingAndrew Waterman1-185/+0
2012-03-24new supervisor modeAndrew Waterman1-2/+2
2011-11-11Synced up PK with supervisor changes/asm syntaxAndrew Waterman1-3/+9
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+179
2011-06-19Renamed packagesAndrew Waterman1-179/+0
2011-04-15[pk] limit programs to 2GB (for RV32 simplicity)Andrew Waterman1-6/+9
2011-04-15[pk] load pk at addr 0; user stack top = MEMSIZEAndrew Waterman1-6/+5
2011-04-12[pk] add cache flush after program loadAndrew Waterman1-0/+1
2011-04-09[sim,pk] reorganized status registerAndrew Waterman1-1/+1
2011-04-09[xcc,pk,sim,opcodes] added first RVC instructionAndrew Waterman1-3/+4
2011-04-08[pk,fesvr] pk now loads elfs itselfAndrew Waterman1-10/+26
2010-12-29[pk] send stdout/stderr to both fesvr and debug consoleAndrew Waterman1-1/+1
2010-11-21[opcodes, pk, sim, xcc] Tweaked FP encodingAndrew Waterman1-1/+0
2010-11-21[pk] various PK cleanups/speedupsAndrew Waterman1-0/+1
2010-11-21[xcc, sim, pk] link register is now x1Andrew Waterman1-2/+2
2010-10-26[pk,sim,xcc] get rid of at register, introduce tp registerYunsup Lee1-5/+5
2010-10-18[pk] improved performance of fp emulationAndrew Waterman1-18/+4
2010-10-17[pk] zero out fp regsYunsup Lee1-0/+13
2010-10-15[pk, sim] added FPU emulation support to proxy kernelAndrew Waterman1-2/+4
2010-08-24[pk] proxy kernel support for mixed 32b/64b operationAndrew Waterman1-1/+1
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+158