diff options
Diffstat (limited to 'Distrib')
| -rw-r--r-- | Distrib/DebianFAQ.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
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 > 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. |