More kerneldb.

[virt-mem.git] / lib / virt_mem_kernels.ml

diff --git a/lib/virt_mem_kernels.ml b/lib/virt_mem_kernels.ml
index b475aa1..3db3dbb 100644 (file)
--- a/lib/virt_mem_kernels.ml
+++ b/lib/virt_mem_kernels.ml
@@ -107,19 +107,20 @@ let kernels =
     "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc64";
     "2.6.26.2-2.fc8.ppc64"; "2.6.26.2-2.fc8.x86_64"; "2.6.26.2-2.fc8.x86_64";
     "2.6.27-0.231.rc1.git6.fc10.i686"; "2.6.27-0.231.rc1.git6.fc10.i686";
-    "2.6.27-0.237.rc2.fc10.i586"; "2.6.27-0.237.rc2.fc10.i686";
-    "2.6.27-0.237.rc2.fc10.i686"; "2.6.27-0.237.rc2.fc10.ppc";
-    "2.6.27-0.237.rc2.fc10.ppc"; "2.6.27-0.237.rc2.fc10.ppc64";
-    "2.6.27-0.237.rc2.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.x86_64";
-    "2.6.27-0.238.rc2.fc10.i586"; "2.6.27-0.238.rc2.fc10.i686";
-    "2.6.27-0.238.rc2.fc10.i686"; "2.6.27-0.238.rc2.fc10.ppc";
-    "2.6.27-0.238.rc2.fc10.ppc"; "2.6.27-0.238.rc2.fc10.ppc64";
-    "2.6.27-0.238.rc2.fc10.ppc64"; "2.6.27-0.238.rc2.fc10.x86_64";
-    "2.6.27-0.241.rc2.git1.fc10.i586"; "2.6.27-0.241.rc2.git1.fc10.i686";
-    "2.6.27-0.241.rc2.git1.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.ppc";
-    "2.6.27-0.241.rc2.git1.fc10.ppc"; "2.6.27-0.241.rc2.git1.fc10.ppc64";
-    "2.6.27-0.241.rc2.git1.fc10.ppc64"; "2.6.27-0.241.rc2.git1.fc10.x86_64";
-    "2.6.27-0.244.rc2.git1.fc10.i586"; "2.6.27-0.244.rc2.git1.fc10.i686";
-    "2.6.27-0.244.rc2.git1.fc10.i686"; "2.6.27-0.244.rc2.git1.fc10.ppc";
-    "2.6.27-0.244.rc2.git1.fc10.ppc"; "2.6.27-0.244.rc2.git1.fc10.ppc64";
-    "2.6.27-0.244.rc2.git1.fc10.ppc64"; "2.6.27-0.244.rc2.git1.fc10.x86_64" ];;
+    "2.6.27-0.231.rc1.git6.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.i586";
+    "2.6.27-0.237.rc2.fc10.i686"; "2.6.27-0.237.rc2.fc10.i686";
+    "2.6.27-0.237.rc2.fc10.ppc"; "2.6.27-0.237.rc2.fc10.ppc";
+    "2.6.27-0.237.rc2.fc10.ppc64"; "2.6.27-0.237.rc2.fc10.ppc64";
+    "2.6.27-0.237.rc2.fc10.x86_64"; "2.6.27-0.238.rc2.fc10.i586";
+    "2.6.27-0.238.rc2.fc10.i686"; "2.6.27-0.238.rc2.fc10.i686";
+    "2.6.27-0.238.rc2.fc10.ppc"; "2.6.27-0.238.rc2.fc10.ppc";
+    "2.6.27-0.238.rc2.fc10.ppc64"; "2.6.27-0.238.rc2.fc10.ppc64";
+    "2.6.27-0.238.rc2.fc10.x86_64"; "2.6.27-0.241.rc2.git1.fc10.i586";
+    "2.6.27-0.241.rc2.git1.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.i686";
+    "2.6.27-0.241.rc2.git1.fc10.ppc"; "2.6.27-0.241.rc2.git1.fc10.ppc";
+    "2.6.27-0.241.rc2.git1.fc10.ppc64"; "2.6.27-0.241.rc2.git1.fc10.ppc64";
+    "2.6.27-0.241.rc2.git1.fc10.x86_64"; "2.6.27-0.244.rc2.git1.fc10.i586";
+    "2.6.27-0.244.rc2.git1.fc10.i686"; "2.6.27-0.244.rc2.git1.fc10.i686";
+    "2.6.27-0.244.rc2.git1.fc10.ppc"; "2.6.27-0.244.rc2.git1.fc10.ppc";
+    "2.6.27-0.244.rc2.git1.fc10.ppc64"; "2.6.27-0.244.rc2.git1.fc10.ppc64";
+    "2.6.27-0.244.rc2.git1.fc10.x86_64" ];;