Comment 1 for bug 497424

Here is a draft for an addition to the README.Debian

Yours,
Steffen

rcsdiff -u ./README.Debian
===================================================================
RCS file: ./RCS/README.Debian,v
retrieving revision 1.1
diff -u -r1.1 ./README.Debian
--- ./README.Debian 2009/12/16 14:31:41 1.1
+++ ./README.Debian 2009/12/16 14:41:39
@@ -64,6 +64,17 @@
 "Configuration" tab that can be used to indicate if a vmlinux file
 is available (off) or not (on).

+If you are running Ubuntu and wish to gather profiling information
+about your kernel, you will need to install the linux-image-debug
+package corresponding to your running kernel version. Those packages
+are large, and currently not available through the normal Ubuntu
+package repositories. Instead, please go to
+
+ http://ddeb.archive.ubuntu.com/ubuntu/pool/main/l/linux/
+
+and download the linux-image-debug corresponding to your
+running kernel. The *.ddeb has to be installed via dpkg or gdebi.
+
 If you wish to gather profiling information about your kernel, you
 will need to build the kernel differently: