14 switch (permissions) {
16 return "No permissions";
18 return "SECURE_ASSET_REFERENCE";
20 return "SECURE_ASSET_WRITE";
22 return "SECURE_ASSET_REFERENCE | SECURE_ASSET_WRITE";
24 return "SECURE_ASSET_READ";
26 return "SECURE_ASSET_REFERENCE | SECURE_ASSET_READ";
28 return "SECURE_ASSET_WRITE | SECURE_ASSET_READ";
30 return "SECURE_ASSET_REFERENCE | SECURE_ASSET_WRITE | "
33 return "Unknown permissions";
const char * asset_perms_to_str(uint8_t permissions)
Translates asset permissions into a string.
void printf_set_color(enum serial_color_t color_id)
Sets the the text color in the serial port.