Ejemplo n.º 1
0
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

}
Ejemplo n.º 2
0
void platform_init(void)
{
	platform_init_keyboard();
	
	pci_init();
}