Changes in kernel/generic/include/console/console.h [a71c158:d99c1d2] in mainline

File:

• kernel/generic/include/console/console.h (modified) (1 diff)

kernel/generic/include/console/console.h

@@ -36 +36 @@
 #define KERN_CONSOLE_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <console/chardev.h>
 
 extern indev_t *stdin;
 extern outdev_t *stdout;
-extern bool silent;
 
 extern indev_t *stdin_wire(void);