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