void keyboard_init(uint32_t s);
void keyboard_handle(uint8_t in);