Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 516ff92eec3001ee20baaf6f01de87b1ffef0b48)
+++ kernel/generic/include/console/console.h	(revision 9962f5303861e2eb00eeb5ac9211b745443aa451)
@@ -42,4 +42,6 @@
 extern chardev_t *stdout;
 
+extern bool silent;
+
 extern void klog_init(void);
 extern void klog_update(void);