device Directory Reference

Files
	hpet.h
	High Precision Event Timer (HPET) support.
	kbd.h
	keyboard device interface
	kbd_scancodes.h
	Keyboard scancodes header.
	mouse.h
	mouse driver header file
	rtc.h
	RTC header.