|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Functions | |
| template<typename SinkEnum> | |
| Sink< SinkEnum > | get_sink (volatile uint8_t *baseRegister, const SinkEnum SinkId) |
|
inline |
Definition at line 366 of file platform-pinmux.hh.