src/kernel/drivers/keyboard.c (view raw)
1 2 3
#include "cedos/drivers/keyboard.h" KB_DRIVER *std_kb = &ps2_kb;