aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.mk.in
AgeCommit message (Expand)AuthorFilesLines
2021-03-25pk: only access user memory through explicit accessorsAndrew Waterman1-0/+2
2018-07-09Properly license all nontrivial filesAndrew Waterman1-0/+2
2017-11-03Remove the platform interfacePalmer Dabbelt1-1/+0
2017-08-02Add a platform interfacePalmer Dabbelt1-0/+1
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-26/+4
2016-03-05Disentangle PK and BBL a bitAndrew Waterman1-0/+2
2016-03-04Begin refactoring emulation codeAndrew Waterman1-3/+12
2016-03-01Use RV configuration string instead of device treeAndrew Waterman1-1/+1
2015-11-12Read and use devicetree -- THIS BREAKS ROCKET FOR NOWAndrew Waterman1-0/+1
2015-05-10Split pk functionality into pk and bblAndrew Waterman1-1/+2
2015-05-02Add ASCII art boot logoAndrew Waterman1-0/+1
2015-03-12Update to new privileged specAndrew Waterman1-6/+8
2014-10-26Don't rely on the C libraryAndrew Waterman1-0/+1
2013-11-25Update to new privileged ISAAndrew Waterman1-2/+1
2013-07-13Support Linux ABI and (optionally) virtual memoryAndrew Waterman1-0/+3
2013-05-23use string.h functions in newlib (-lc)Andrew Waterman1-2/+0
2013-01-25rename binary to pk; change argv handlingAndrew Waterman1-2/+2
2012-09-07Added rough emulation support for div/rem/mul.Christopher Celio1-0/+2
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+33
2011-06-19Renamed packagesAndrew Waterman1-33/+0
2011-04-15[pk] load pk at addr 0; user stack top = MEMSIZEAndrew Waterman1-1/+1
2011-04-08[pk,fesvr] pk now loads elfs itselfAndrew Waterman1-0/+2
2010-11-21[pk] various PK cleanups/speedupsAndrew Waterman1-0/+4
2010-10-15[pk, sim] added FPU emulation support to proxy kernelAndrew Waterman1-1/+9
2010-08-22[pk] Fixed broken PK build process (moved boot into a .c file)Andrew Waterman1-1/+0
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+20
generated by cgit v1.1 at 2024-06-29 13:32:40 +0000