diff --git a/src/devices/kbd.h b/src/devices/kbd.h
new file mode 100644
index 0000000000000000000000000000000000000000..ed9c06bc90d2a03fd9f48c6d245bdcc22770d859
--- /dev/null
+++ b/src/devices/kbd.h
@@ -0,0 +1,9 @@
+#ifndef DEVICES_KBD_H
+#define DEVICES_KBD_H
+
+#include <stdint.h>
+
+void kbd_init (void);
+void kbd_print_stats (void);
+
+#endif /* devices/kbd.h */