os-tutorial/20-interrupts-timer/drivers/keyboard.h

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

void init_keyboard();