#include #include #include #include #include void drivers_init(void) { uart_init(); pci_init(); clock_update(); }