os-tutorial/22-malloc/drivers/keyboard.h

#include "../cpu/type.h"

void init_keyboard();