4 #include <device/pci_def.h>
5 #include <device/pci_ids.h>
7 #include <device/pnp_def.h>
8 #include <arch/romcc_io.h>
10 #include "pc80/serial.c"
11 #include "arch/i386/lib/console.c"
15 void udelay(int usecs)
18 for(i = 0; i < usecs; i++)
22 #include "lib/delay.c"
23 #include "cpu/x86/lapic/boot_cpu.c"
26 static void main(void)
34 //print_pci_devices();