#include <devices.h> #include <keyboard.h> #include <timer.h> void setupDevices() { setupTimer(); setupKeyboard(); }