Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:microprocessor
|
| gptkbp:availableOn |
FPGA implementation
|
| gptkbp:basedOn |
MIPS architecture
|
| gptkbp:developedBy |
gptkb:University_of_Cambridge
|
| gptkbp:documentedIn |
CHERI technical reports
|
| gptkbp:enables |
spatial memory safety
temporal memory safety fine-grained memory protection |
| gptkbp:firstReleased |
2014
|
| gptkbp:hasFeature |
capability registers
hardware-enforced capabilities tagged memory |
| https://www.w3.org/2000/01/rdf-schema#label |
CHERI-MIPS
|
| gptkbp:implementedIn |
CHERI (Capability Hardware Enhanced RISC Instructions)
|
| gptkbp:ISAExtensionOf |
gptkb:MIPS
|
| gptkbp:openSource |
yes
|
| gptkbp:relatedTo |
gptkb:CHERI-RISC-V
gptkb:MIPS64 |
| gptkbp:runsThrough |
gptkb:FreeBSD
gptkb:CheriBSD |
| gptkbp:supports |
capability-based security
|
| gptkbp:usedBy |
gptkb:researchers
|
| gptkbp:usedFor |
research
|
| gptkbp:usedIn |
gptkb:CHERI_project
|
| gptkbp:writtenBy |
gptkb:VHDL
gptkb:Bluespec |
| gptkbp:bfsParent |
gptkb:CHERI
gptkb:CHERI_architecture |
| gptkbp:bfsLayer |
7
|