init_pci

[bootcensus] / src / kmain.c

diff --git a/src/kmain.c b/src/kmain.c
index 645c87e..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();
 
@@ -60,9 +63,7 @@ void pcboot_main(void)
                                break;
 
                        case KB_F2:
-                               set_video_mode(640, 480, 16);
                                vbetest();
-                               set_vga_mode(3);
                                break;
                        }
                        if(isprint(c)) {