|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Unsigned character specialisation, prints the character as a hex number. More...
#include <debug.hh>
Static Public Member Functions | |
| static DebugFormatArgument | construct (uint8_t value) |
Unsigned character specialisation, prints the character as a hex number.
|
inlinestatic |