2 #include <device/pci_def.h>
3 #include <device/pci_ids.h>
5 #include <device/pnp_def.h>
6 #include <arch/romcc_io.h>
8 #include <pc80/mc146818rtc.h>
9 #include <console/console.h>
10 #include "pc80/udelay_io.c"
11 #include "lib/delay.c"
12 #include "cpu/x86/lapic/boot_cpu.c"
14 static void main(void)
22 //print_pci_devices();