Remove device header files unneeded after initcall setup and generlization

2012-10-07 23:28:22 -04:00
parent c64bfea238
commit d7f354221f
6 changed files with 0 additions and 135 deletions
--- a/kernel/start_kernel.c
+++ b/kernel/start_kernel.c
@ -30,14 +30,6 @@
 #include <drivers/serial.h>
 #include <drivers/fb.h>

-#ifdef CONFIG_VEXPRESS_A9
-#include <drivers/pl111.h>
-#endif
-
-#ifdef CONFIG_RPI
-#include <drivers/bcm2835_videocore.h>
-#endif
-
 struct fb console_fb;

 void print_console_logo() {