aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.mk.in
AgeCommit message (Collapse)AuthorFilesLines
2021-03-25pk: only access user memory through explicit accessorsAndrew Waterman1-0/+2
Enforced with sstatus.SUM.
2018-07-09Properly license all nontrivial filesAndrew Waterman1-0/+2
2017-11-03Remove the platform interfacePalmer Dabbelt1-1/+0
We now automatically detect everything that the platform interface used to be used for, so it's now obsolete!
2017-08-02Add a platform interfacePalmer Dabbelt1-0/+1
SiFive's pk fork is the second one I've had to maintain, and it's a huge pain because people keep just leaving changes all over the tree. I want to introduce an interface that the platform-specific details can live behind so I don't have to keep doing these painful merges.
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-26/+4
Yuck.
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
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).
2015-05-02Add ASCII art boot logoAndrew Waterman1-0/+1
It's only printed when booting the Linux kernel. Feel free to improve the quality of the ASCII art. It looks like this when rendered: vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv vvvvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvvvv rr rrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrr rrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrr rrrrrrrr vvvvvvvvvvvvvvvvvv rrrrrrrr rrrrrrrrrr vvvvvvvvvvvvvv rrrrrrrrrr rrrrrrrrrrrr vvvvvvvvvv rrrrrrrrrrrr rrrrrrrrrrrrrr vvvvvv rrrrrrrrrrrrrr rrrrrrrrrrrrrrrr vv rrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr INSTRUCTION SETS WANT TO BE FREE
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
the new fesvr approach makes argv[0] = pk, rather than user program's name
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
this allows it to detect 32b binaries
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
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.