/kernel/include/arch/i686/drivers/

• ../
• ps2ctrl.h
• rtc.h