X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_kernels.ml;h=286990580520f94b1e0865a079193f243720039b;hb=2174887a4382d491f67058a8336cfe57c2faa746;hp=3db3dbbf64fbcd7c022a48df375f66940a4431dd;hpb=64a4bb3a313a90c63854c641fe38816d67b4e816;p=virt-mem.git

diff --git a/lib/virt_mem_kernels.ml b/lib/virt_mem_kernels.ml
index 3db3dbb..2869905 100644
--- a/lib/virt_mem_kernels.ml
+++ b/lib/virt_mem_kernels.ml
@@ -102,25 +102,41 @@ let kernels =
     "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.ppc";
     "2.6.24-9.fc9.ppc"; "2.6.24-9.fc9.ppc64"; "2.6.24-9.fc9.ppc64";
     "2.6.24-9.fc9.x86_64"; "2.6.25.11-97.fc9.i686";
-    "2.6.25.11-97.fc9.x86_64"; "2.6.26.2-2.fc8.i586"; "2.6.26.2-2.fc8.i686";
-    "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686";
-    "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.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" ];;
+    "2.6.25.11-97.fc9.x86_64"; "2.6.25.14-69.fc8.i686";
+    "2.6.25.14-69.fc8.i686"; "2.6.25.14-69.fc8.i686";
+    "2.6.25.14-69.fc8.i686"; "2.6.26.1-9.fc9.i586"; "2.6.26.1-9.fc9.i686";
+    "2.6.26.1-9.fc9.i686"; "2.6.26.1-9.fc9.i686"; "2.6.26.1-9.fc9.i686";
+    "2.6.26.1-9.fc9.ppc"; "2.6.26.1-9.fc9.ppc"; "2.6.26.1-9.fc9.ppc64";
+    "2.6.26.1-9.fc9.ppc64"; "2.6.26.1-9.fc9.x86_64"; "2.6.26.1-9.fc9.x86_64";
+    "2.6.26.2-2.fc8.i586"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686";
+    "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686"; "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.225.rc1.git5.fc10.i586"; "2.6.27-0.225.rc1.git5.fc10.i686";
+    "2.6.27-0.225.rc1.git5.fc10.i686"; "2.6.27-0.225.rc1.git5.fc10.ppc";
+    "2.6.27-0.225.rc1.git5.fc10.ppc"; "2.6.27-0.225.rc1.git5.fc10.ppc64";
+    "2.6.27-0.225.rc1.git5.fc10.ppc64"; "2.6.27-0.225.rc1.git5.fc10.x86_64";
+    "2.6.27-0.226.rc1.git5.fc10.i586"; "2.6.27-0.226.rc1.git5.fc10.i686";
+    "2.6.27-0.226.rc1.git5.fc10.i686"; "2.6.27-0.226.rc1.git5.fc10.ppc";
+    "2.6.27-0.226.rc1.git5.fc10.ppc"; "2.6.27-0.226.rc1.git5.fc10.ppc64";
+    "2.6.27-0.226.rc1.git5.fc10.ppc64"; "2.6.27-0.226.rc1.git5.fc10.x86_64";
+    "2.6.27-0.231.rc1.git6.fc10.i586"; "2.6.27-0.231.rc1.git6.fc10.i686";
+    "2.6.27-0.231.rc1.git6.fc10.i686"; "2.6.27-0.231.rc1.git6.fc10.ppc";
+    "2.6.27-0.231.rc1.git6.fc10.ppc"; "2.6.27-0.231.rc1.git6.fc10.ppc64";
+    "2.6.27-0.231.rc1.git6.fc10.ppc64"; "2.6.27-0.231.rc1.git6.fc10.x86_64";
+    "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" ];;