summaryrefslogtreecommitdiff
path: root/cheri/cheri_prelude.sail
AgeCommit message (Expand)Author
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first by...Robert Norton
2016-08-01Remove raise_c2_exception_v function which is not needed after permissions me...Robert Norton
2016-08-01Complete transition to merged perms. We need to take care to keep around the ...Robert Norton
2016-07-28Banish exit from the mips/cheri sail except at end of SignalException functio...Robert Norton
2016-07-26Add minimal support for emulated Altera JTAG UART.Robert Norton
2016-06-28Munge exception destination PC so we hit the correct address even when kcc.ba...Robert Norton
2016-06-10Make in-memory format of capabilities conform with that of CHERI which stores...Robert Norton
2016-06-07remove workarounds for sail unable to read fields during PC fetch. Should be ...Robert Norton
2016-06-07Merge register access violation exception codes. ISA is evolving and is a lit...Robert Norton
2016-06-07Preserve padding in capability registers when converting to struct form -- th...Robert Norton
2016-06-03Reduce fill width of header to align closing comments nicely.Robert Norton
2016-06-02Apply headache to mips/cheri model.Robert Norton
2016-06-01Remove outdated XXXRobert Norton
2016-05-13implement config registers.Robert Norton
2016-05-12Implement count/compare registers for timer interrupts and rdhwr instruction.Robert Norton
2016-05-12rename ephemeral/non_ephemeral to global/local in accordance with current usage.Robert Norton
2016-05-04check for PC alignment on instruction fetch.Robert Norton
2016-05-03cheri: check value of co-processor enable bit before all cheri instructions.Robert Norton
2016-05-03fix cheri and mips sail following change to type of TranslateAddress -- can n...Robert Norton
2016-04-29use the correct exception vector for ccall/creturn.Robert Norton
2016-04-28implement (hopefully) correct exception behaviour wrt PCC/EPCC. Required shuf...Robert Norton
2016-04-27cheri: add translation and bounds checking of PC via PCC. Slightly clunky imp...Robert Norton
2016-04-22Add address calculation wrapper to constrain and translate standard mips load...Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-15cheri: explicitly zero extend regno when writing to cap cause because implici...Robert Norton
2016-04-14cheri: implement ll/sc of capabilities using placeholder functions to emulate...Robert Norton
2016-04-13Further CHERI implementation. Rename cursor to offset in line with ISA. Imple...Robert Norton
2016-03-09cheri sail: introduce functions for casting from cap. register to cap. struct...Robert Norton
2016-03-08add beginnings of cheri sail for kathy to do some debugging.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-04 18:17:25 +0000