aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.ld
AgeCommit message (Expand)AuthorFilesLines
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-95/+0
2016-03-03Simplify boot codeAndrew Waterman1-1/+1
2016-02-19WIP on priv spec v1.9Andrew Waterman1-6/+2
2015-05-09Upgrade to privileged architecture 1.7Andrew Waterman1-1/+1
2015-03-31Don't rely on mstatus.fs to determine FPU presenceAndrew Waterman1-2/+0
2015-03-12Update to new privileged specAndrew Waterman1-3/+14
2015-02-09work in progress on new supervisor specAndrew Waterman1-1/+1
2014-12-11Relocate binaries that conflict with the pk's address spaceAndrew Waterman1-14/+0
2014-01-13Assume pc-relative addressingAndrew Waterman1-0/+1
2013-01-25rename binary to pk; change argv handlingAndrew Waterman1-1/+1
2011-11-11Synced up PK with supervisor changes/asm syntaxAndrew Waterman1-23/+3
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+123
2011-06-19Renamed packagesAndrew Waterman1-123/+0
2011-04-15[pk] load pk at addr 0; user stack top = MEMSIZEAndrew Waterman1-6/+5
2010-11-21[pk] various PK cleanups/speedupsAndrew Waterman1-2/+0
2010-11-21[opcodes, pk, sim, xcc] made jumps shorter and PC-relativeAndrew Waterman1-61/+1
2010-08-22[pk] Fixed broken PK build process (moved boot into a .c file)Andrew Waterman1-1/+1
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+186
generated by cgit v1.1 at 2025-01-14 13:09:19 +0000