|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Type trait for checking if a type is a sealed capability. More...
#include <cheri.hh>
Static Public Attributes | |
| static constexpr bool | value |
Type trait for checking if a type is a sealed capability.
|
staticconstexpr |