Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/generic/include/console/console.h	(revision 7af8c0e6f5392a9da45995cd52a12f36e610fdc1)
@@ -41,5 +41,4 @@
 extern indev_t *stdin;
 extern outdev_t *stdout;
-extern bool silent;
 
 extern indev_t *stdin_wire(void);