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

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

void init_keyboard();