#include #include #include #include #include uint32_t sys_read(char *buf) { keyboard_clear_buffer(); keyboard_char_buffer = 0; while (keyboard_char_buffer != '\n') { getch(); } memcpy(buf, keyboard_buffer, strlen(keyboard_buffer)); return strlen(buf); }