Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-06-11 | configure: Add option to set physical memory start address | Gabriel L. Somlo | 1 | -1/+1 | |
For systems where physical memory is mapped to a start address different from 0x80000000, allow the default to be overridden using the --with-mem-start argument to the configure script. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com> | |||||
2019-01-04 | Page-align the writable data section | Andrew Waterman | 1 | -1/+2 | |
For eventual PMP purposes | |||||
2019-01-04 | Clean up linker scripts a bit | Andrew Waterman | 1 | -4/+1 | |
2018-07-09 | Properly license all nontrivial files | Andrew Waterman | 1 | -0/+2 | |
2017-11-03 | Remove the platform interface | Palmer Dabbelt | 1 | -0/+1 | |
We now automatically detect everything that the platform interface used to be used for, so it's now obsolete! | |||||
2017-02-20 | Don't block for acks on console writes | Andrew Waterman | 1 | -2/+2 | |
2016-08-16 | add htif section in linker script, with ALIGNs to prevent MMIO and data from ↵ | Sagar Karandikar | 1 | -0/+10 | |
being placed on same page (#32) | |||||
2016-04-30 | Move DRAM to high addresses | Andrew Waterman | 1 | -1/+1 | |
2016-03-09 | Refactor pk, bbl, machine into separate libraries | Andrew Waterman | 1 | -0/+90 | |
Yuck. |