diff options
authorJoão Paulo Rechi Vita <>2012-02-24 14:46:33 -0300
committerJoão Paulo Rechi Vita <>2012-02-27 17:40:09 -0300
commit7dea20adcf8ca4be316f29d783d54cbaa80e20bd (patch)
parent29f185b1b9a01f39eb55813e1010b19ebe548d20 (diff)
howto: explain how to enable CONFIG_DYNAMIC_DEBUG
1 files changed, 9 insertions, 3 deletions
diff --git a/howto.tex b/howto.tex
index f168b5a..45006b2 100644
--- a/howto.tex
+++ b/howto.tex
@@ -109,7 +109,8 @@ $ git clone git://
Now, copy the Linux kernel configuration file from Ubuntu as \verb|.config| to
the Linux kernel sources directory, and generate a new configuration based on
-the Ubuntu configuration file.
+the Ubuntu configuration file. Just press {\em Enter} for each question until
+\verb|make oldconfig| returns.
$ cd linux
@@ -117,8 +118,13 @@ $ cp /boot/config-`uname -r` .config
$ make oldconfig
-You should just press Enter for each question until this command returns. Now
-you're ready to compile your kernel. To build and generate a Debian package
+Ubuntu doesn't enable {\em dynamic debug} on its stock kernel, so it should be
+manually enabled to make possible to obtain debug information from the kernel
+later. Edit the \verb|.config| file with your favorite editor, find the line
+that says \verb|# CONFIG_DYNAMIC_DEBUG is not set| and substitute the whole
+line with \verb|CONFIG_DYNAMIC_DEBUG=y|.
+Now you're ready to compile your kernel. To build and generate a Debian package
that can be installed on Ubuntu the packages {\em fakeroot} and {\em dpkg-dev}
are needed. Make sure they're installed and run: