From 2e343a5ccf324877937955f47fcc3ee13bfc211c Mon Sep 17 00:00:00 2001
From: Michael Banck <mbanck@gmx.net>
Date: Sun, 17 Dec 2006 23:59:58 +0000
Subject: none

---
 Distrib/DebianFAQ.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Distrib/DebianFAQ.mdwn b/Distrib/DebianFAQ.mdwn
index 12b357c9..c92304fb 100644
--- a/Distrib/DebianFAQ.mdwn
+++ b/Distrib/DebianFAQ.mdwn
@@ -68,6 +68,10 @@ If you want to use the _apt-get source_ facility, make sure that _/etc/apt/sourc
 
 ... replacing _de_ with your homeland's code.
 
+## <a name="kernel_logs"> kernel logs </a>
+
+The kernel logs are written to /dev/klog by Mach. Run "cat /dev/klog &gt; foo" as root and hit ctrl+c after a few seconds to catch the logs. You can do this only once and do not do this in single-user mode (where ctrl+c does not work).
+
 ----
 
 Page started.
-- 
cgit v1.2.3