init_pci

[bootcensus] / src / kmain.c

diff --git a/src/kmain.c b/src/kmain.c
index 339d3e0..2404033 100644 (file)
--- a/src/kmain.c
+++ b/src/kmain.c
@@ -25,6 +25,7 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 #include "timer.h"
 #include "contty.h"
 #include "video.h"
+#include "pci.h"
 #include "vbetest.h"
 
 
@@ -40,6 +41,8 @@ void pcboot_main(void)
 
        init_mem();
 
+       init_pci();
+
        /* initialize the timer */
        init_timer();