#include "apic.h"
#include "io_apic/io_apic.h"
#include "acpi_tables/acpi_tables.h"
#include "acpi_tables/madt.h"
#include "drivers.h"
#include "cpuid.h"