#include #include #include #include #include #include #include #include #include void drivers_init(void) { pit_set_freq(CHAN_TIMER, 1000); // 1ms uart_init(); ps2_init(); pci_init(); ata_init(); acpi_init(mboot_get_rsdp()); gpu_init(); }