aboutsummaryrefslogtreecommitdiff
path: root/pk/minit.c
AgeCommit message (Collapse)AuthorFilesLines
2015-11-28Change boot procedure to not rely on IPIsAndrew Waterman1-8/+11
That procedure doesn't work correctly if hart 0 comes out of reset while hart 1 is still in reset.
2015-11-16Use IPIs to wake up hartsAndrew Waterman1-23/+20
This has the side effect of testing the IPI mechanism. Still not sure this is the best approach to booting, but it works...
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
It breaks programs that rely on ELF program headers.
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
This fixes a bug when running on HW.
2015-04-30Assume even less about mstatus reset valueAndrew Waterman1-2/+3
2015-04-03Make PK compile on RV32Andrew Waterman1-2/+4
Of course, it doesn't work, because there's no support for fromhost/tohost devices in RV32.
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