| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2015-11-28 | Change boot procedure to not rely on IPIs | Andrew Waterman | 1 | -0/+3 | |
| That procedure doesn't work correctly if hart 0 comes out of reset while hart 1 is still in reset. | |||||
| 2015-11-16 | Use IPIs to wake up harts | Andrew Waterman | 1 | -1/+0 | |
| This has the side effect of testing the IPI mechanism. Still not sure this is the best approach to booting, but it works... | |||||
| 2015-11-12 | Read and use devicetree -- THIS BREAKS ROCKET FOR NOW | Andrew Waterman | 1 | -1/+6 | |
| 2015-07-24 | Undo last commit | Andrew Waterman | 1 | -1/+1 | |
| It breaks programs that rely on ELF program headers. | |||||
| 2015-07-23 | Avoid stack overflow with -msoft-float | Andrew Waterman | 1 | -1/+1 | |
| 2015-05-29 | Make boot loader/SBI changes to support SMP Linux | Andrew Waterman | 1 | -0/+7 | |
| 2015-05-10 | Split pk functionality into pk and bbl | Andrew Waterman | 1 | -1/+2 | |
| pk is now an AEE only (i.e. it can only execute user programs). bbl is now an SEE only (i.e. it can only host kernels). | |||||
| 2015-05-02 | Add ASCII art boot logo | Andrew Waterman | 1 | -0/+1 | |
| It's only printed when booting the Linux kernel. Feel free to improve the quality of the ASCII art. It looks like this when rendered: vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv vvvvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvvvv rr rrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrr rrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrr rrrrrrrr vvvvvvvvvvvvvvvvvv rrrrrrrr rrrrrrrrrr vvvvvvvvvvvvvv rrrrrrrrrr rrrrrrrrrrrr vvvvvvvvvv rrrrrrrrrrrr rrrrrrrrrrrrrr vvvvvv rrrrrrrrrrrrrr rrrrrrrrrrrrrrrr vv rrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr INSTRUCTION SETS WANT TO BE FREE | |||||
| 2015-04-10 | Fix stack discipline for recursive traps | Andrew Waterman | 1 | -1/+1 | |
| 2015-03-24 | Make printk safer and use less stack | Andrew Waterman | 1 | -1/+1 | |
| 2015-03-12 | Update to new privileged spec | Andrew Waterman | 1 | -12/+27 | |
| 2015-02-09 | work in progress on new supervisor spec | Andrew Waterman | 1 | -4/+2 | |
| 2014-08-07 | Added "-c" option to track uarch counter info. | Christopher Celio | 1 | -0/+5 | |
| 2013-12-14 | Add -p flag: force physical memory addressing | Andrew Waterman | 1 | -1/+2 | |
| 2013-11-25 | Update to new privileged ISA | Andrew Waterman | 1 | -1/+2 | |
| 2013-09-11 | Add some syscalls | Andrew Waterman | 1 | -0/+1 | |
| 2013-08-18 | Renumber PCRs; refer to them with new ASM syntax | Andrew Waterman | 1 | -3/+2 | |
| 2013-07-13 | Support Linux ABI and (optionally) virtual memory | Andrew Waterman | 1 | -10/+29 | |
| 2013-03-25 | add BSD license | Andrew Waterman | 1 | -0/+2 | |
| 2012-09-07 | Added rough emulation support for div/rem/mul. | Christopher Celio | 1 | -0/+2 | |
| 2011-11-11 | Synced up PK with supervisor changes/asm syntax | Andrew Waterman | 1 | -0/+1 | |
| You must upgrade to the latest compiler and ISA simulator to build and run this version of the PK. | |||||
| 2011-06-19 | temporary undoing of renaming | Andrew Waterman | 1 | -0/+65 | |
| 2011-06-19 | Renamed packages | Andrew Waterman | 1 | -65/+0 | |
| 2011-04-15 | [pk] load pk at addr 0; user stack top = MEMSIZE | Andrew Waterman | 1 | -1/+0 | |
| 2011-04-15 | [pk] fixed timer interrupt bug, etc. | Andrew Waterman | 1 | -2/+6 | |
| 2011-04-12 | [sim,pk] fixed minor pk bugs and trap codes | Andrew Waterman | 1 | -5/+10 | |
| 2011-04-09 | [pk] fix init_fp function prototype | Yunsup Lee | 1 | -1/+1 | |
| 2011-04-09 | [pk] add vector_disabled trap handler | Yunsup Lee | 1 | -0/+1 | |
| 2011-04-08 | [pk,fesvr] pk now loads elfs itself | Andrew Waterman | 1 | -1/+3 | |
| this allows it to detect 32b binaries | |||||
| 2011-03-25 | [xcc,pk,opcodes,sim] updated encoding/insn names | Andrew Waterman | 1 | -1/+0 | |
| 2011-02-04 | [pk] fixed FP emulation bug | Andrew Waterman | 1 | -1/+1 | |
| kernel would erroneously trap on FP disabled | |||||
| 2010-11-21 | [pk] various PK cleanups/speedups | Andrew Waterman | 1 | -6/+0 | |
| 2010-10-26 | [pk,sim,xcc] get rid of at register, introduce tp register | Yunsup Lee | 1 | -1/+0 | |
| 2010-10-18 | [pk] improved performance of fp emulation | Andrew Waterman | 1 | -1/+9 | |
| 2010-10-17 | [pk] zero out fp regs | Yunsup Lee | 1 | -0/+1 | |
| 2010-10-15 | [pk, sim] added FPU emulation support to proxy kernel | Andrew Waterman | 1 | -0/+12 | |
| 2010-10-05 | [xcc,sim] eliminated vectored traps | Andrew Waterman | 1 | -0/+1 | |
| now, the evec register holds the address that all traps vector to, and the cause register is set with the trap number. | |||||
| 2010-09-06 | [sim, xcc] added PCRs to replace k0 and k1 | Andrew Waterman | 1 | -0/+1 | |
| 2010-08-18 | [pk,fesvr] improved proxykernel build system | Andrew Waterman | 1 | -0/+39 | |
| Now uses a modified MCPPBS. Add --host=riscv to configure path. Front-end server now just searches PATH for riscv-pk, so just install the pk to somewhere in your path. | |||||
 |
index : riscv-gnu-toolchain/pk.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |