aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.mk.in
AgeCommit message (Collapse)AuthorFilesLines
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.