diff --git a/include/drivers/bcm2835_videocore.h b/include/drivers/bcm2835_videocore.h deleted file mode 100644 index d853090..0000000 --- a/include/drivers/bcm2835_videocore.h +++ /dev/null @@ -1,28 +0,0 @@ -/* - Copyright (C) 2012, Aaron Lindsay - - This file is part of Aedrix. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License along - with this program; if not, write to the Free Software Foundation, Inc., - 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - */ - -#include - -#ifndef BCM2835_VIDEOCORE_H -#define BCM2835_VIDEOCORE_H - -int bcm2835_videocore_init(struct fb *f, unsigned int color_depth); - -#endif /* BCM2835_VIDEOCORE_H */ diff --git a/include/drivers/pi_mini_uart.h b/include/drivers/pi_mini_uart.h deleted file mode 100644 index 6867c98..0000000 --- a/include/drivers/pi_mini_uart.h +++ /dev/null @@ -1,27 +0,0 @@ -/* - Copyright (C) 2012, Aaron Lindsay - - This file is part of Aedrix. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License along - with this program; if not, write to the Free Software Foundation, Inc., - 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - */ - -#ifndef PI_MINI_UART_H -#define PI_MINI_UART_H - -void mini_uart_init(); -void mini_uart_putc(char c); - -#endif /* PI_MINI_UART_H */ diff --git a/include/drivers/pl011.h b/include/drivers/pl011.h deleted file mode 100644 index 28e9c0c..0000000 --- a/include/drivers/pl011.h +++ /dev/null @@ -1,26 +0,0 @@ -/* - Copyright (C) 2012, Aaron Lindsay - - This file is part of Aedrix. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License along - with this program; if not, write to the Free Software Foundation, Inc., - 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - */ - -#ifndef PL011_H -#define PL011_H - -void pl011_putc(char c); - -#endif /* PL011_H */ diff --git a/include/drivers/pl110.h b/include/drivers/pl110.h deleted file mode 100644 index c959314..0000000 --- a/include/drivers/pl110.h +++ /dev/null @@ -1,23 +0,0 @@ -/* - Copyright (C) 2012, Aaron Lindsay - - This file is part of Aedrix. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License along - with this program; if not, write to the Free Software Foundation, Inc., - 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - */ - -#include - -int pl110_init(struct fb *f, unsigned int color_depth); diff --git a/include/drivers/pl111.h b/include/drivers/pl111.h deleted file mode 100644 index 5870ad5..0000000 --- a/include/drivers/pl111.h +++ /dev/null @@ -1,23 +0,0 @@ -/* - Copyright (C) 2012, Aaron Lindsay - - This file is part of Aedrix. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License along - with this program; if not, write to the Free Software Foundation, Inc., - 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. - */ - -#include - -int pl111_init(struct fb *f, unsigned int color_depth); diff --git a/kernel/start_kernel.c b/kernel/start_kernel.c index 84dd077..bf0f679 100644 --- a/kernel/start_kernel.c +++ b/kernel/start_kernel.c @@ -30,14 +30,6 @@ #include #include -#ifdef CONFIG_VEXPRESS_A9 -#include -#endif - -#ifdef CONFIG_RPI -#include -#endif - struct fb console_fb; void print_console_logo() {