aboutsummaryrefslogtreecommitdiff
path: root/pk/minit.c
AgeCommit message (Expand)AuthorFilesLines
2015-11-28Change boot procedure to not rely on IPIsAndrew Waterman1-8/+11
2015-11-16Use IPIs to wake up hartsAndrew Waterman1-23/+20
2015-11-12Read and use devicetree -- THIS BREAKS ROCKET FOR NOWAndrew Waterman1-10/+15
2015-09-16Initialize FCSR on bootAndrew Waterman1-0/+1
2015-09-14Initialize mtimecmp for debuggabilityAndrew Waterman1-0/+1
2015-07-24Undo last commitAndrew Waterman1-2/+1
2015-07-23Avoid stack overflow with -msoft-floatAndrew Waterman1-1/+2
2015-07-05New M-mode timer and SBI call to use itAndrew Waterman1-2/+4
2015-05-29Make boot loader/SBI changes to support SMP LinuxAndrew Waterman1-13/+35
2015-05-09Upgrade to privileged architecture 1.7Andrew Waterman1-17/+5
2015-05-08Initialize the mailbox on bootAndrew Waterman1-0/+6
2015-04-30Assume even less about mstatus reset valueAndrew Waterman1-2/+3
2015-04-03Make PK compile on RV32Andrew Waterman1-2/+4
2015-03-31Don't rely on mstatus.fs to determine FPU presenceAndrew Waterman1-3/+7
2015-03-14Fix some bugs in FP emulationAndrew Waterman1-0/+13
2015-03-12Update to new privileged specAndrew Waterman1-0/+62
generated by cgit v1.1 at 2024-09-07 15:54:53 +0000