os-tutorial/21-shell/drivers/keyboard.h

#include "../cpu/types.h"

static char key_buffer[256];

void init_keyboard();