The CheriABI POSIX process environment
The CheriABI process environment implements a standard POSIX/UNIX API, but in some areas there are changes to API semantics (e.g., in the handling of tagged pointer values and I/O) or new functionality (such as relates to handling capability-related faults).