Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-10-31 | Fix(?) fcvt.s.w emulation for rs1 = -2^31fix-fcvt-s-w | Andrew Waterman | 1 | -1/+1 | |
2017-10-23 | Make 4-byte aligned instruction-emulation loads atomic | Andrew Waterman | 1 | -3/+12 | |
Per the Unix-class platform spec | |||||
2017-10-19 | Order __page_alloc before writing vmrs | Andrew Waterman | 1 | -2/+6 | |
2017-08-29 | Stub out sys_prlimit64 | Andrew Waterman | 2 | -0/+2 | |
2017-08-14 | finisher: support terminating sifive devices simulation (#61) | Wesley W. Terpstra | 6 | -4/+84 | |
2017-08-10 | Merge pull request #60 from riscv/hart1 | Palmer Dabbelt | 1 | -8/+6 | |
The DTB argument to boot_other_hart shouldn't be used in BBL | |||||
2017-08-09 | The DTB argument to boot_other_hart shouldn't be used in BBL | Palmer Dabbelt | 1 | -8/+6 | |
I screwed up refactoring bbl. | |||||
2017-08-05 | Merge pull request #59 from riscv/print-device-tree | Palmer Dabbelt | 8 | -7/+174 | |
Add the '--enable-print-device-tree' argument | |||||
2017-08-03 | Add the '--enable-print-device-tree' argument | Palmer Dabbelt | 8 | -7/+174 | |
I'm trying to debug some device tree problems while booting Linux and figured it would be really nice to have access to the device tree while trying to debug these problems. I think this might be useful for lots of people, so I went ahead and cleaned up the code enough that it should actaully work in most cases. | |||||
2017-08-03 | Merge pull request #58 from riscv/platform | Palmer Dabbelt | 18 | -41/+218 | |
Add a platform interface | |||||
2017-08-03 | Allow platform__get_logo to return NULL | Palmer Dabbelt | 1 | -1/+3 | |
2017-08-02 | Add the '--with-platform' argument and the sifive-vc707-devkit platform | Palmer Dabbelt | 4 | -1/+62 | |
Since we don't have a coherent platform specification right now, we've ended up with slightly different platforms between spike and our FPGA dev kit. For now I've added an autoconf option that allows users to select the relevant platform. | |||||
2017-08-02 | Move DISABLED_HART_MASK to the platform | Palmer Dabbelt | 7 | -10/+22 | |
Some platforms can't boot Linux on all the harts. This commit allows platforms to define the set of harts that should be prevented from booting past BBL. This is essentially just a new mechanism for defining the DISABLED_HART_MASK. | |||||
2017-08-02 | Allow the platform to disable HTIF | Palmer Dabbelt | 3 | -4/+18 | |
2017-08-02 | Move the logo behind the platform interface | Palmer Dabbelt | 3 | -26/+37 | |
SiFive has a different logo, so let platforms override said logo. | |||||
2017-08-02 | Add a platform interface | Palmer Dabbelt | 10 | -1/+77 | |
SiFive's pk fork is the second one I've had to maintain, and it's a huge pain because people keep just leaving changes all over the tree. I want to introduce an interface that the platform-specific details can live behind so I don't have to keep doing these painful merges. | |||||
2017-08-02 | Ignore some generated files | Palmer Dabbelt | 1 | -1/+2 | |
2017-07-17 | Fix emulation of misaligned RVC loads/stores | Andrew Waterman | 1 | -2/+5 | |
We were accidentally advancing the PC by 4, not 2. | |||||
2017-05-04 | FMV.X.S/FMV.S.X -> FMV.X.W/FMV.W.X | Andrew Waterman | 2 | -11/+8 | |
2017-04-29 | README.md: Explicitly list the requirement of a separate build directory. | Andrew Waterman | 1 | -0/+2 | |
h/t Karsten Merker | |||||
2017-04-18 | Use uint64_t, not uintptr_t, to represent FDT addresses/sizes | Andrew Waterman | 3 | -21/+24 | |
This fixes RV32 pk. | |||||
2017-04-18 | Fix RV32 compilation error | Andrew Waterman | 1 | -1/+2 | |
2017-04-18 | Increase PK stack size to 3% of memory, up to 8 MiB | Andrew Waterman | 1 | -1/+1 | |
2017-04-11 | Always write sbadaddr on trap redirection | Andrew Waterman | 3 | -6/+6 | |
2017-04-11 | Load instructions as unsigned values, not signed | Andrew Waterman | 1 | -4/+4 | |
This matches the behavior of mbabaddr/mtval. | |||||
2017-04-06 | mtrap: allow override of DISABLED_HART_MASK from CFLAGS | Wesley W. Terpstra | 1 | -0/+2 | |
2017-04-05 | Remove num_harts; use hart_mask exclusively | Andrew Waterman | 4 | -6/+5 | |
2017-04-05 | Rename HART_MASK to DISABLED_HART_MASK to clarify polarity | Andrew Waterman | 5 | -6/+6 | |
2017-04-05 | fdt: update the status length when masking cpus | Wesley W. Terpstra | 1 | -1/+4 | |
2017-04-05 | bbl: prevent named cores from booting | Wesley W. Terpstra | 5 | -3/+19 | |
2017-04-05 | fdt: redact clint, plic, and debug hardware | Wesley W. Terpstra | 3 | -2/+166 | |
2017-04-05 | fdt: support redaction | Wesley W. Terpstra | 2 | -9/+13 | |
2017-04-04 | Remove SBI console printm to speed up PK simulation | Andrew Waterman | 1 | -1/+0 | |
2017-03-31 | clint: move hart wakeup till after all FDT parsing | Wesley W. Terpstra | 3 | -6/+20 | |
The clint was wiping out information discovered by the plic. Initialize hart stacks as they are discovered. Then fill in clint+plic info Then wake the harts. | |||||
2017-03-30 | New PMP encoding | Andrew Waterman | 2 | -6/+7 | |
2017-03-30 | fdt: look for the phandle of a cpu's nested interrupt controller | Wesley W. Terpstra | 1 | -15/+34 | |
2017-03-29 | Attempt to read instruction from mbadaddr | Andrew Waterman | 1 | -5/+9 | |
2017-03-28 | plic: discovered via fdt | Wesley W. Terpstra | 3 | -0/+103 | |
2017-03-27 | uart: find it using fdt | Wesley W. Terpstra | 1 | -3/+41 | |
2017-03-27 | fdt: rewrite parser using a single design pattern | Wesley W. Terpstra | 2 | -105/+176 | |
2017-03-27 | uart: add physical device driver | Wesley W. Terpstra | 5 | -2/+77 | |
2017-03-27 | Separate page faults from physical memory access exceptions | Andrew Waterman | 5 | -21/+37 | |
2017-03-23 | bbl: copy dtb after the kernel | Wesley W. Terpstra | 1 | -1/+17 | |
2017-03-23 | pk: does not use dtb | Wesley W. Terpstra | 1 | -1/+1 | |
2017-03-23 | fdt: add a size method | Wesley W. Terpstra | 2 | -0/+11 | |
2017-03-23 | Set up PMPs, permissively for now | Andrew Waterman | 1 | -0/+11 | |
2017-03-22 | SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdt | Wesley W. Terpstra | 5 | -31/+30 | |
2017-03-22 | machine: add FDT parser | Wesley W. Terpstra | 4 | -7/+300 | |
2017-03-21 | machine: remove configstring | Wesley W. Terpstra | 3 | -270/+0 | |
2017-03-21 | Allow PK access to user memory | Andrew Waterman | 2 | -2/+14 | |