Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-07-09 | Properly license all nontrivial files | Andrew Waterman | 1 | -0/+2 | |
2016-03-05 | Disentangle PK and BBL a bit | Andrew Waterman | 1 | -95/+1 | |
2016-03-01 | Fix vsnprintf infinite loop | Andrew Waterman | 1 | -3/+6 | |
2015-11-12 | Read and use devicetree -- THIS BREAKS ROCKET FOR NOW | Andrew Waterman | 1 | -1/+1 | |
2015-11-12 | print PC of failed assertions | Andrew Waterman | 1 | -1/+2 | |
2015-05-10 | Split pk functionality into pk and bbl | Andrew Waterman | 1 | -2/+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-03-24 | Make printk safer and use less stack | Andrew Waterman | 1 | -31/+33 | |
2015-03-12 | Update to new privileged spec | Andrew Waterman | 1 | -2/+2 | |
2015-02-09 | work in progress on new supervisor spec | Andrew Waterman | 1 | -1/+1 | |
2014-10-31 | Implement draft of new calling convention | Andrew Waterman | 1 | -4/+4 | |
Here is the new syscall ABI: syscall number in a7 args in a0 - a6 return value in a0 Here is the integer register map: x0 -> x0 x1 -> ra x2 -> sp x3 -> tp x4 -> gp x5 -> t0 x6 -> t1 x7 -> t2 x8 -> s0 x9 -> s1 x10 -> a0 x11 -> a1 x12 -> a2 x13 -> a3 x14 -> a4 x15 -> a5 x16 -> a6 x17 -> a7 x18 -> s2 x19 -> s3 x20 -> s4 x21 -> s5 x22 -> s6 x23 -> s7 x24 -> s8 x25 -> s9 x26 -> s10 x27 -> s11 x28 -> t3 x29 -> t4 x30 -> t5 x31 -> t6 | |||||
2013-08-18 | Use new ABI register names | Andrew Waterman | 1 | -1/+1 | |
2013-07-13 | Support Linux ABI and (optionally) virtual memory | Andrew Waterman | 1 | -0/+147 | |