@ -7,6 +7,8 @@ u32 strlen(const char*);
u32 write(const char*, const u32);
u32 read(char*, u32);
void printf(const char*);
void printhex(u32);
The note is not visible to the blocked user.