aboutsummaryrefslogtreecommitdiff
path: root/machine
AgeCommit message (Expand)AuthorFilesLines
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-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 Waterman4-5/+5
2017-04-05fdt: update the status length when masking cpusWesley W. Terpstra1-1/+4
2017-04-05bbl: prevent named cores from bootingWesley W. Terpstra4-2/+18
2017-04-05fdt: redact clint, plic, and debug hardwareWesley W. Terpstra2-2/+160
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 Waterman4-18/+34
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. Terpstra3-24/+23
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 Waterman1-2/+13
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 Waterman3-19/+11
2017-02-20Don't block for acks on console writesAndrew Waterman4-36/+38
2017-02-20WIP on SBIAndrew Waterman4-61/+59
2017-02-20minor HTIF cleanup + use WFIAndrew Waterman2-7/+6
2017-02-19Handle IPIs and timer interrupts more quicklyAndrew Waterman4-74/+71
2017-02-17WIP towards ECALL interface for SBIAndrew Waterman9-213/+7
2017-02-15Cleanly separate HTIF code; don't poll keyboard on timer interruptAndrew Waterman6-85/+90
2017-02-15Emulate RVFC instructionsAndrew Waterman7-47/+190
2017-02-15Incorporate sptbr/sfence.vma changesAndrew Waterman4-19/+129
2017-01-25Placate gcc7 about buffer sizesarchive-1.9.1Andrew Waterman1-2/+2
2016-12-06avoid non-standard predefined macrosAndrew Waterman12-18/+18
2016-11-04Acquire lock before attempting tohost/fromhost sequencesAndrew Waterman1-12/+23
2016-11-04Add spinlock_trylock routine; use it to implement spinlock_lockAndrew Waterman1-2/+8
2016-10-25Use __riscv_flen macro to detect FP supportAndrew Waterman6-10/+14
2016-09-15machine, mentry.S: fix not receiving IPI for other harts (#38)sashimi-yzh1-0/+4
2016-09-09Attempt to disable FPU if using no-FPU pk/bblAndrew Waterman1-2/+3
2016-09-09machine, emulation.c: fix the condition of rdtime emulation (#37)sashimi-yzh1-2/+2
2016-08-26Update to new counter specAndrew Waterman3-104/+351
2016-08-16add htif section in linker script, with ALIGNs to prevent MMIO and data from ...Sagar Karandikar1-2/+2