-PCI scanning

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index 51d6bdd43d7ee39ed3eb1b7dcf3b20881639ba48..d8a609d071f2f0f266d5e87b210e2daa7281a112 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -9,8 +9,10 @@
 #include <stdlib.h>
 #include <string.h>
 #include "devices/kbd.h"
+#include "devices/pci.h"
 #include "devices/serial.h"
 #include "devices/timer.h"
+#include "devices/usb.h"
 #include "devices/vga.h"
 #include "threads/interrupt.h"
 #include "threads/io.h"
@@ -109,6 +111,13 @@ main (void)
   intr_init ();
   timer_init ();
   kbd_init ();
+
+  /* Initialize PCI devices */
+  pci_init ();
+
+  /* Initialize USB controllers */
+  usb_init ();
+
 #ifdef USERPROG
   exception_init ();
   syscall_init ();