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