diff --git a/drivers/char/stdio.c b/drivers/char/stdio.c index 9a260ec1..35d6ddb5 100644 --- a/drivers/char/stdio.c +++ b/drivers/char/stdio.c @@ -22,9 +22,13 @@ #include #include #include -#include #include #include +#include +#include +#ifdef CONFIG_VGA +#include +#endif /* Functions of a simple null device */ @@ -80,7 +84,13 @@ static ssize_t stdio_write(fildes_t* file, uint8_t* buffer, size_t size) { int i; for (i = 0; ioffset += size;