#include "cedos/drivers/keyboard.h"

KB_DRIVER *std_kb = &ps2_kb;