|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
| Nanonymous_namespace{float_to_string_helpers.hh} | This file provides routines to help convert from floating-point values to strings |
| RSupportedFloatingPointType | Set of supported floating-point types |
| NCHERI | |
| RIsPointer | Concept that matches pointers |
| RIsSmartPointerLike | Concept that matches smart pointers, i.e., classes which implements a get method returning a pointer, and supports operator= with the return value of get |
| NDebugConcepts | Concepts used for matching types in the debug code |
| RIsBool | Helper concept for matching booleans |
| RIsEnum | Helper concept for matching enumerations |
| RLazyAssertion | Concept for something that can be lazily called to produce a bool |
| RIsPointerButNotCString | Helper for identifying pointers that are (probably) not C strings |
| RIsConvertibleToAddress | Helper concept for things that can be converted to addresses but are not enumerations |
| Nds | |
| Nlinked_list | |
| Ncell | |
| RHasCellOperations | The primitive, required, abstract interface to our cons cells |
| RHasReset | Reset a cell to a singleton ring |
| RHasCellOperationsReset | |
| RHasIsSingleton | Additional, optional overrides available within implementation of cons cells |
| RHasIsSingletonCheck | |
| RHasIsDoubleton | |
| Npointer | |
| Nproxy | |
| RProxies | Proxies<P,T> if P is a proxy object for T*-s |
| NRevocation | |
| RIsRevokerDevice | Concept for a revoker |
| RSupportsInterruptNotification | If this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire |
| REthernetAdaptor | Concept for an Ethernet adaptor |
| RIsEntropySource | |
| RIsUart | Concept for checking that a UART driver exposes the right interface |
| RLockable | |
| RReceivedEthernetFrame | Helper concept for the type returned by receive_frame |
| RTryLockable |