| #
16476bd8 |
|
09-Jul-2018 |
Andrew Waterman <andrew@sifive.com> |
Properly license all nontrivial files
|
| #
80447e57 |
|
05-Mar-2016 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Disentangle PK and BBL a bit
|
| #
dea1fa15 |
|
01-Mar-2016 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Fix vsnprintf infinite loop
|
| #
47f9e06f |
|
12-Nov-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Read and use devicetree -- THIS BREAKS ROCKET FOR NOW
|
| #
9cc6732d |
|
12-Nov-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
print PC of failed assertions
|
| #
87683e74 |
|
10-May-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Split pk functionality into pk and bbl
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).
|
| #
f6659f1c |
|
23-Mar-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Make printk safer and use less stack
|
| #
6517fe26 |
|
12-Mar-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Update to new privileged spec
|
| #
5c864501 |
|
09-Feb-2015 |
Andrew Waterman <waterman@cs.berkeley.edu> |
work in progress on new supervisor spec
|
| #
069bdd3f |
|
31-Oct-2014 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Implement draft of new calling convention
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
|
| #
33a258dd |
|
18-Aug-2013 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Use new ABI register names
|
| #
cc72987e |
|
13-Jul-2013 |
Andrew Waterman <waterman@cs.berkeley.edu> |
Support Linux ABI and (optionally) virtual memory
|