#include <devices.h>
#include <interrupts.h>
#include <keyboard.h>
#include <pci.h>
#include <timer.h>

void setupDevices() {
    setupTimer();
    setupKeyboard();
    setupInterrupts();
    scanPCIDevices();
}