aboutsummaryrefslogtreecommitdiff
path: root/machine/minit.c
AgeCommit message (Expand)AuthorFilesLines
2018-07-09Properly license all nontrivial filesAndrew Waterman1-0/+2
2018-05-22RISC-V: Support separate firmware and kernel payloadMichael Clark1-0/+3
2018-05-21machine,minit: initialize emulated FCSR in enter_supervisor_mode() (#106)Zihao Yu1-0/+4
2018-05-15Fix for missing supervisor mode when running on E51 (#96)Jim Straus1-3/+10
2018-03-20minit: insert printm as work-around for a race conditionWesley W. Terpstra1-0/+1
2018-01-09Remove the repeating bitmask of medeleg register (#74)Zong Li1-1/+0
2017-12-12Add a 16550 UART driver to back the SBI consolePalmer Dabbelt1-0/+2
2017-11-03Remove the platform interfacePalmer Dabbelt1-1/+2
2017-11-02Check if we have extensions before using themPalmer Dabbelt1-5/+12
2017-11-02Initialize the UART firstPalmer Dabbelt1-3/+3
2017-11-02Detect harts that can't boot Linux instead of hard-coding themPalmer Dabbelt1-1/+2
2017-08-14finisher: support terminating sifive devices simulation (#61)Wesley W. Terpstra1-0/+4
2017-08-02Move DISABLED_HART_MASK to the platformPalmer Dabbelt1-1/+2
2017-04-05Remove num_harts; use hart_mask exclusivelyAndrew Waterman1-1/+0
2017-04-05Rename HART_MASK to DISABLED_HART_MASK to clarify polarityAndrew Waterman1-1/+1
2017-04-05bbl: prevent named cores from bootingWesley W. Terpstra1-1/+1
2017-04-04Remove SBI console printm to speed up PK simulationAndrew Waterman1-1/+0
2017-03-31clint: move hart wakeup till after all FDT parsingWesley W. Terpstra1-2/+11
2017-03-30New PMP encodingAndrew Waterman1-1/+1
2017-03-28plic: discovered via fdtWesley W. Terpstra1-0/+1
2017-03-27uart: add physical device driverWesley W. Terpstra1-0/+5
2017-03-27Separate page faults from physical memory access exceptionsAndrew Waterman1-3/+3
2017-03-23Set up PMPs, permissively for nowAndrew Waterman1-0/+11
2017-03-22SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdtWesley W. Terpstra1-9/+7
2017-03-22machine: add FDT parserWesley W. Terpstra1-7/+8
2017-03-08Don't rely on config string for basic functionalityAndrew Waterman1-1/+7
2017-02-25New counter-enable schemeAndrew Waterman1-3/+5
2017-02-22Fix PK bootAndrew Waterman1-1/+3
2017-02-20Don't block for acks on console writesAndrew Waterman1-8/+0
2017-02-17WIP towards ECALL interface for SBIAndrew Waterman1-3/+6
2017-02-15Incorporate sptbr/sfence.vma changesAndrew Waterman1-10/+3
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