aboutsummaryrefslogtreecommitdiff
path: root/machine/minit.c
AgeCommit message (Expand)AuthorFilesLines
2016-10-25Use __riscv_flen macro to detect FP supportAndrew Waterman1-1/+1
2016-09-09Attempt to disable FPU if using no-FPU pk/bblAndrew Waterman1-2/+3
2016-07-28Don't let other harts boot before HLS is initializedAndrew Waterman1-6/+0
2016-07-05Initialize timecmp; add PRCI testAndrew Waterman1-0/+15
2016-06-05PLIC registers are 32-bit, not 16-bitAndrew Waterman1-2/+2
2016-06-01Clear IPIs using MMIO, not mip CSRAndrew Waterman1-0/+5
2016-05-24Remove debug printfsAndrew Waterman1-11/+0
2016-05-22Add preliminary support for the interrupt controllerAndrew Waterman1-1/+36
2016-04-29ERET -> MRETAndrew Waterman1-1/+1
2016-04-29Remove mtime/mtimecmpAndrew Waterman1-4/+5
2016-03-10Misc improvementsAndrew Waterman1-4/+6
2016-03-10Make num_harts a uintptr_tAndrew Waterman1-2/+2
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-0/+120