aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.h
AgeCommit message (Collapse)AuthorFilesLines
2021-03-29pk: remove vestigial trapframe_t::insn fieldAndrew Waterman1-1/+0
This assumes that stval is populated with the opcode on illegal instruction exceptions. But since we're only using the opcode for error reporting, it's OK if this assumption is violated.
2021-03-25pk: refactor vm free list managementAndrew Waterman1-0/+6
2019-10-22Make performance counters always 64 bits wide (#178)Luís Marques1-0/+58
This prevents the counters from easily overflowing for a 32-bit pk.
2016-07-12Remove uarch countersAndrew Waterman1-1/+0
We'll re-add support for the generic performance counter facility once it exists.
2016-04-06Don't assume existence of uarch countersAndrew Waterman1-5/+1
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-17/+0
Yuck.
2016-03-05Disentangle PK and BBL a bitAndrew Waterman1-52/+0
2016-03-04Begin refactoring emulation codeAndrew Waterman1-3/+0
2016-03-03Simplify boot codeAndrew Waterman1-2/+1
2016-03-01Use RV configuration string instead of device treeAndrew Waterman1-0/+1
2016-02-19Fix MULW/DIVW/etc. emulation codeAndrew Waterman1-1/+5
2016-02-19WIP on priv spec v1.9Andrew Waterman1-0/+1
2016-02-19Remove incorrect code supporting ELF32 on RV64 and vice-versaAndrew Waterman1-2/+1
This is technically possible by running an RV32 supervisor on an RV64 machine, but the M-mode and S-mode code would need to be compiled and linked separately.
2015-11-28Change boot procedure to not rely on IPIsAndrew Waterman1-0/+3
That procedure doesn't work correctly if hart 0 comes out of reset while hart 1 is still in reset.
2015-11-16Use IPIs to wake up hartsAndrew Waterman1-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-12Read and use devicetree -- THIS BREAKS ROCKET FOR NOWAndrew Waterman1-1/+6
2015-07-24Undo last commitAndrew Waterman1-1/+1
It breaks programs that rely on ELF program headers.
2015-07-23Avoid stack overflow with -msoft-floatAndrew Waterman1-1/+1
2015-05-29Make boot loader/SBI changes to support SMP LinuxAndrew Waterman1-0/+7
2015-05-10Split pk functionality into pk and bblAndrew Waterman1-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-02Add ASCII art boot logoAndrew Waterman1-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-10Fix stack discipline for recursive trapsAndrew Waterman1-1/+1
2015-03-24Make printk safer and use less stackAndrew Waterman1-1/+1
2015-03-12Update to new privileged specAndrew Waterman1-12/+27
2015-02-09work in progress on new supervisor specAndrew Waterman1-4/+2
2014-08-07Added "-c" option to track uarch counter info.Christopher Celio1-0/+5
2013-12-14Add -p flag: force physical memory addressingAndrew Waterman1-1/+2
2013-11-25Update to new privileged ISAAndrew Waterman1-1/+2
2013-09-11Add some syscallsAndrew Waterman1-0/+1
2013-08-18Renumber PCRs; refer to them with new ASM syntaxAndrew Waterman1-3/+2
2013-07-13Support Linux ABI and (optionally) virtual memoryAndrew Waterman1-10/+29
2013-03-25add BSD licenseAndrew Waterman1-0/+2
2012-09-07Added rough emulation support for div/rem/mul.Christopher Celio1-0/+2
2011-11-11Synced up PK with supervisor changes/asm syntaxAndrew Waterman1-0/+1
You must upgrade to the latest compiler and ISA simulator to build and run this version of the PK.
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+65
2011-06-19Renamed packagesAndrew Waterman1-65/+0
2011-04-15[pk] load pk at addr 0; user stack top = MEMSIZEAndrew Waterman1-1/+0
2011-04-15[pk] fixed timer interrupt bug, etc.Andrew Waterman1-2/+6
2011-04-12[sim,pk] fixed minor pk bugs and trap codesAndrew Waterman1-5/+10
2011-04-09[pk] fix init_fp function prototypeYunsup Lee1-1/+1
2011-04-09[pk] add vector_disabled trap handlerYunsup Lee1-0/+1
2011-04-08[pk,fesvr] pk now loads elfs itselfAndrew Waterman1-1/+3
this allows it to detect 32b binaries
2011-03-25[xcc,pk,opcodes,sim] updated encoding/insn namesAndrew Waterman1-1/+0
2011-02-04[pk] fixed FP emulation bugAndrew Waterman1-1/+1
kernel would erroneously trap on FP disabled
2010-11-21[pk] various PK cleanups/speedupsAndrew Waterman1-6/+0
2010-10-26[pk,sim,xcc] get rid of at register, introduce tp registerYunsup Lee1-1/+0
2010-10-18[pk] improved performance of fp emulationAndrew Waterman1-1/+9
2010-10-17[pk] zero out fp regsYunsup Lee1-0/+1
2010-10-15[pk, sim] added FPU emulation support to proxy kernelAndrew Waterman1-0/+12
2010-10-05[xcc,sim] eliminated vectored trapsAndrew Waterman1-0/+1
now, the evec register holds the address that all traps vector to, and the cause register is set with the trap number.
generated by cgit v1.1 at 2024-07-16 16:54:57 +0000