Commit Graph

6 Commits

Author SHA1 Message Date
Nathaniel Wesley Filardo
b2c75dffb7 NFC: rename ConceptBound to IsBound 2022-07-07 16:57:47 +01:00
Nathaniel Wesley Filardo
3fce61eafb docs: Update StrictProvenance 2022-06-09 01:05:04 +01:00
Matthew Parkinson
03c9da6aa4 Refactor interface between backend and frontend (#530)
* Rename to use Config, rather than StateHandle/Globals/Backend
* Make Backend a type on Config that contains the address space management implementation
* Make Ranges part of the Backend configuration, so we can reuse code for different ways of managing memory
* Pull the common chains of range definitions into separate files for reuse.
* Move PagemapEntry to CommonConfig
* Expose Pagemap through backend, so frontend doesn't see Pagemap directly
* Remove global Pal and use DefaultPal, where one is not pass explicitly.

Co-authored-by: David Chisnall <davidchisnall@users.noreply.github.com>
Co-authored-by: Nathaniel Filardo <105816689+nwf-msr@users.noreply.github.com>
2022-05-31 10:45:04 +01:00
Jakub Panek
c4f31bb279 Fix markdown (#522)
* Fix markdown link to ./docs/AddressSpace

* Fix footnotes in docs/StrictProvenance.md
2022-05-10 15:51:59 +01:00
Nathaniel Wesley Filardo
9b60e8256d CHERI: update StrictProvenance.md for new world order 2021-12-16 19:25:09 +00:00
Nathaniel Filardo
c6036f3808 Add StrictProvenance (SP) design document 2021-04-09 12:39:29 +01:00