|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Concepts used for matching types in the debug code. More...
Concepts | |
| concept | IsBool |
| Helper concept for matching booleans. | |
| concept | IsEnum |
| Helper concept for matching enumerations. | |
| concept | LazyAssertion |
| Concept for something that can be lazily called to produce a bool. | |
| concept | IsPointerButNotCString |
| Helper for identifying pointers that are (probably) not C strings. | |
| concept | IsConvertibleToAddress |
| Helper concept for things that can be converted to addresses but are not enumerations. | |
Concepts used for matching types in the debug code.