aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2017-04-29README.md: Explicitly list the requirement of a separate build directory.Andrew Waterman1-0/+2
2017-04-18Use uint64_t, not uintptr_t, to represent FDT addresses/sizesAndrew Waterman3-21/+24
2017-04-18Fix RV32 compilation errorAndrew Waterman1-1/+2
2017-04-18Increase PK stack size to 3% of memory, up to 8 MiBAndrew Waterman1-1/+1
2017-04-11Always write sbadaddr on trap redirectionAndrew Waterman3-6/+6
2017-04-11Load instructions as unsigned values, not signedAndrew Waterman1-4/+4
2017-04-06mtrap: allow override of DISABLED_HART_MASK from CFLAGSWesley W. Terpstra1-0/+2
2017-04-05Remove num_harts; use hart_mask exclusivelyAndrew Waterman4-6/+5
2017-04-05Rename HART_MASK to DISABLED_HART_MASK to clarify polarityAndrew Waterman5-6/+6
2017-04-05fdt: update the status length when masking cpusWesley W. Terpstra1-1/+4
2017-04-05bbl: prevent named cores from bootingWesley W. Terpstra5-3/+19
2017-04-05fdt: redact clint, plic, and debug hardwareWesley W. Terpstra3-2/+166
2017-04-05fdt: support redactionWesley W. Terpstra2-9/+13
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. Terpstra3-6/+20
2017-03-30New PMP encodingAndrew Waterman2-6/+7
2017-03-30fdt: look for the phandle of a cpu's nested interrupt controllerWesley W. Terpstra1-15/+34
2017-03-29Attempt to read instruction from mbadaddrAndrew Waterman1-5/+9
2017-03-28plic: discovered via fdtWesley W. Terpstra3-0/+103
2017-03-27uart: find it using fdtWesley W. Terpstra1-3/+41
2017-03-27fdt: rewrite parser using a single design patternWesley W. Terpstra2-105/+176
2017-03-27uart: add physical device driverWesley W. Terpstra5-2/+77
2017-03-27Separate page faults from physical memory access exceptionsAndrew Waterman5-21/+37
2017-03-23bbl: copy dtb after the kernelWesley W. Terpstra1-1/+17
2017-03-23pk: does not use dtbWesley W. Terpstra1-1/+1
2017-03-23fdt: add a size methodWesley W. Terpstra2-0/+11
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. Terpstra5-31/+30
2017-03-22machine: add FDT parserWesley W. Terpstra4-7/+300
2017-03-21machine: remove configstringWesley W. Terpstra3-270/+0
2017-03-21Allow PK access to user memoryAndrew Waterman2-2/+14
2017-03-16Simplify interrupt-stack disciplineAndrew Waterman2-2/+45
2017-03-08Don't rely on config string for basic functionalityAndrew Waterman1-1/+7
2017-02-25PPNs are 44 bits in RV64Andrew Waterman1-14/+7
2017-02-25New counter-enable schemeAndrew Waterman3-10/+12
2017-02-22Fix PK bootAndrew Waterman4-22/+17
2017-02-20Don't block for acks on console writesAndrew Waterman17-118/+277
2017-02-20WIP on SBIAndrew Waterman5-63/+61
2017-02-20minor HTIF cleanup + use WFIAndrew Waterman2-7/+6
2017-02-19Handle IPIs and timer interrupts more quicklyAndrew Waterman4-74/+71
2017-02-17Clean up boot loader for physical address loadingAndrew Waterman3-20/+8
2017-02-17WIP towards ECALL interface for SBIAndrew Waterman17-289/+40
2017-02-15Cleanly separate HTIF code; don't poll keyboard on timer interruptAndrew Waterman7-87/+92
2017-02-15Emulate RVFC instructionsAndrew Waterman7-47/+190
2017-02-15Incorporate sptbr/sfence.vma changesAndrew Waterman5-20/+130
2017-01-25Placate gcc7 about buffer sizesarchive-1.9.1Andrew Waterman1-2/+2
2016-12-06avoid non-standard predefined macrosAndrew Waterman17-23/+23
2016-11-13Add ability to hard-code an initial environmentAndrew Waterman1-2/+18
2016-11-13For RV32, mmap offset is in 4 KiB incrementsAndrew Waterman1-2/+6
2016-11-13Cap pk memory size to 2 GiB for RV32Andrew Waterman1-0/+5