List PCI devices

kernel/kmain.c

@@ -18,6 +18,7 @@
 #include "cpu/hang.h"
 #include "cpu/gdt.h"
 #include "ipc/mbus/mbus.h"
+#include "pci/pci.h"
 
 void log_bootinfo(void) {
   char buf[100];
@@ -48,6 +49,7 @@ void kmain(void) {
   pmm_init();
   vmm_init();
   intr_init();
+  pci_init();
   randcrypto_init();
   ipc_mbusinit();
   dev_init();