More kernels.

diff --git a/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.data.bz2
new file mode 100644 (file)
index 0000000..0e64f58
Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.data.bz2 differ

diff --git a/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.info b/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.info
new file mode 100644 (file)
index 0000000..17e9704
--- /dev/null
+++ b/kernels/kernel-debuginfo-2.6.24-9.fc9.ppc64.rpm.info
@@ -0,0 +1,23 @@
+Source: fedora-koji
+Distribution: Fedora
+RPM_id: 385974
+RPM_build_id: 33481
+Name: kernel-debuginfo
+Version: 2.6.24
+Release: 9.fc9
+Architecture: ppc64
+RPM_size: 287185692
+
+Name        : kernel-debuginfo             Relocations: (not relocatable)
+Version     : 2.6.24                            Vendor: Fedora Project
+Release     : 9.fc9                         Build Date: Tue 29 Jan 2008 11:27:22 PM GMT
+Install Date: (not installed)               Build Host: ppc4.fedora.phx.redhat.com
+Group       : Development/Debug             Source RPM: kernel-2.6.24-9.fc9.src.rpm
+Size        : 807021505                        License: GPLv2
+Signature   : (none)
+Packager    : Fedora Project
+URL         : http://www.kernel.org/
+Summary     : Debug information for package kernel
+Description :
+This package provides debug information for package kernel.
+This is required to use SystemTap with kernel-2.6.24-9.fc9.

diff --git a/ps/virt_ps.ml b/ps/virt_ps.ml
index fc752fe..41e8af7 100644 (file)
--- a/ps/virt_ps.ml
+++ b/ps/virt_ps.ml
@@ -24,6 +24,7 @@ open Virt_mem_utils
 open Virt_mem_types
 
 
+
 let run debug ({ mem = mem }, ksymmap, _) =
   ()