Cleanup of the configuration code, and source tree layout.

2017-05-18 01:57:16 -04:00
parent 0d95385e50
commit 09ca09775c
73 changed files with 472 additions and 16810 deletions
--- a/src/ppi.c
+++ b/src/ppi.c
@@ -10,9 +10,8 @@

 #include "ibm.h"
 #include "pit.h"
-
-#include "plat-keyboard.h"
-#include "plat-mouse.h"
+#include "plat_keyboard.h"
+#include "plat_mouse.h"

 void ppi_reset()
 {