|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|


Public Attributes | |
| BITPACK_DERIVED_PREFIX | |
Additional Inherited Members | |
| Protected Types inherited from BitpackDerived< Interrupts > | |
| using | ParentBitpack |
Definition at line 40 of file platform-uart.hh.
| OpenTitanUart::InterruptState::BITPACK_DERIVED_PREFIX |
Definition at line 42 of file platform-uart.hh.