aboutsummaryrefslogtreecommitdiff
path: root/pk/console.c
AgeCommit message (Collapse)AuthorFilesLines
2018-07-09Properly license all nontrivial filesAndrew Waterman1-0/+2
2016-03-05Disentangle PK and BBL a bitAndrew Waterman1-95/+1
2016-03-01Fix vsnprintf infinite loopAndrew Waterman1-3/+6
2015-11-12Read and use devicetree -- THIS BREAKS ROCKET FOR NOWAndrew Waterman1-1/+1
2015-11-12print PC of failed assertionsAndrew Waterman1-1/+2
2015-05-10Split pk functionality into pk and bblAndrew Waterman1-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-24Make printk safer and use less stackAndrew Waterman1-31/+33
2015-03-12Update to new privileged specAndrew Waterman1-2/+2
2015-02-09work in progress on new supervisor specAndrew Waterman1-1/+1
2014-10-31Implement draft of new calling conventionAndrew Waterman1-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-18Use new ABI register namesAndrew Waterman1-1/+1
2013-07-13Support Linux ABI and (optionally) virtual memoryAndrew Waterman1-0/+147