void platform_init(void) { uart_init(); platform_init_keyboard(); #ifndef ARCH_X86_64 pci_init(); #endif /* MMU init for x86_64 done after the heap is setup */ #ifdef ARCH_X86_64 arch_mmu_init(); platform_init_mmu_mappings(); #endif }
void platform_init(void) { platform_init_keyboard(); pci_init(); }