X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_kernels.ml;h=68ede244eda2a44f605365ad3423acc7ca05437d;hb=48a85384daa4089f6d310293ab3f8d713740f962;hp=30900e136f91952068750ac9779528fe214e4e11;hpb=a877867243635176be3dc7735520fdd9a4098e10;p=virt-mem.git

diff --git a/lib/virt_mem_kernels.ml b/lib/virt_mem_kernels.ml
index 30900e1..68ede24 100644
--- a/lib/virt_mem_kernels.ml
+++ b/lib/virt_mem_kernels.ml
@@ -1,131 +1,9 @@
 let kernels =
-  [ "2.6.18-1.2798.fc6.i586"; "2.6.18-1.2798.fc6.i686";
-    "2.6.18-1.2798.fc6.i686"; "2.6.18-1.2798.fc6.i686";
-    "2.6.18-1.2798.fc6.ppc"; "2.6.18-1.2798.fc6.ppc";
-    "2.6.18-1.2798.fc6.ppc64"; "2.6.18-1.2798.fc6.ppc64";
-    "2.6.18-1.2798.fc6.ppc64iseries"; "2.6.18-1.2798.fc6.ppc64iseries";
-    "2.6.18-1.2798.fc6.x86_64"; "2.6.18-1.2798.fc6.x86_64";
-    "2.6.18-1.2798.fc6.x86_64"; "2.6.20-1.2933.fc6.i586";
-    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
-    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
-    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
-    "2.6.20-1.2933.fc6.ppc"; "2.6.20-1.2933.fc6.ppc";
-    "2.6.20-1.2933.fc6.ppc64"; "2.6.20-1.2933.fc6.ppc64";
-    "2.6.20-1.2933.fc6.x86_64"; "2.6.20-1.2933.fc6.x86_64";
-    "2.6.20-1.2933.fc6.x86_64"; "2.6.20-1.2933.fc6.x86_64";
-    "2.6.21-1.3128.fc7.i586"; "2.6.21-1.3128.fc7.i686";
-    "2.6.21-1.3128.fc7.i686"; "2.6.21-1.3128.fc7.ppc";
-    "2.6.21-1.3128.fc7.ppc"; "2.6.21-1.3128.fc7.ppc64";
-    "2.6.21-1.3128.fc7.ppc64"; "2.6.21-1.3128.fc7.x86_64";
-    "2.6.21-1.3128.fc7.x86_64"; "2.6.21-1.3132.fc7.i586";
-    "2.6.21-1.3132.fc7.i686"; "2.6.21-1.3132.fc7.i686";
-    "2.6.21-1.3132.fc7.ppc"; "2.6.21-1.3132.fc7.ppc";
-    "2.6.21-1.3132.fc7.ppc64"; "2.6.21-1.3132.fc7.ppc64";
-    "2.6.21-1.3132.fc7.x86_64"; "2.6.21-1.3132.fc7.x86_64";
-    "2.6.21-1.3141.fc7.i586"; "2.6.21-1.3141.fc7.i686";
-    "2.6.21-1.3141.fc7.i686"; "2.6.21-1.3141.fc7.ppc";
-    "2.6.21-1.3141.fc7.ppc"; "2.6.21-1.3141.fc7.ppc64";
-    "2.6.21-1.3141.fc7.ppc64"; "2.6.21-1.3141.fc7.x86_64";
-    "2.6.21-1.3141.fc7.x86_64"; "2.6.21-1.3144.fc7.i586";
-    "2.6.21-1.3144.fc7.i686"; "2.6.21-1.3144.fc7.i686";
-    "2.6.21-1.3144.fc7.ppc"; "2.6.21-1.3144.fc7.ppc";
-    "2.6.21-1.3144.fc7.ppc64"; "2.6.21-1.3144.fc7.ppc64";
-    "2.6.21-1.3144.fc7.x86_64"; "2.6.21-1.3144.fc7.x86_64";
-    "2.6.21-1.3145.fc7.i586"; "2.6.21-1.3145.fc7.i686";
-    "2.6.21-1.3145.fc7.i686"; "2.6.21-1.3145.fc7.i686";
-    "2.6.21-1.3145.fc7.i686"; "2.6.21-1.3145.fc7.ppc";
-    "2.6.21-1.3145.fc7.ppc"; "2.6.21-1.3145.fc7.ppc64";
-    "2.6.21-1.3145.fc7.ppc64"; "2.6.21-1.3145.fc7.x86_64";
-    "2.6.21-1.3145.fc7.x86_64"; "2.6.21-1.3145.fc7.x86_64";
-    "2.6.21-1.3190.fc7.i586"; "2.6.21-1.3190.fc7.i686";
-    "2.6.21-1.3190.fc7.i686"; "2.6.21-1.3190.fc7.i686";
-    "2.6.21-1.3190.fc7.i686"; "2.6.21-1.3190.fc7.ppc";
-    "2.6.21-1.3190.fc7.ppc"; "2.6.21-1.3190.fc7.ppc64";
-    "2.6.21-1.3190.fc7.ppc64"; "2.6.21-1.3190.fc7.x86_64";
-    "2.6.21-1.3190.fc7.x86_64"; "2.6.21-1.3190.fc7.x86_64";
-    "2.6.21-1.3209.fc8.i586"; "2.6.21-1.3209.fc8.i686";
-    "2.6.21-1.3209.fc8.i686"; "2.6.21-1.3209.fc8.ppc";
-    "2.6.21-1.3209.fc8.ppc"; "2.6.21-1.3209.fc8.ppc64";
-    "2.6.21-1.3209.fc8.ppc64"; "2.6.21-1.3209.fc8.x86_64";
-    "2.6.21-1.3218.fc8.i586"; "2.6.21-1.3218.fc8.i686";
-    "2.6.21-1.3218.fc8.i686"; "2.6.21-1.3218.fc8.ppc";
-    "2.6.21-1.3218.fc8.ppc"; "2.6.21-1.3218.fc8.ppc64";
-    "2.6.21-1.3218.fc8.ppc64"; "2.6.21-1.3218.fc8.x86_64";
-    "2.6.21-1.3221.fc8.i586"; "2.6.21-1.3221.fc8.i686";
-    "2.6.21-1.3221.fc8.i686"; "2.6.21-1.3221.fc8.ppc";
-    "2.6.21-1.3221.fc8.ppc"; "2.6.21-1.3221.fc8.ppc64";
-    "2.6.21-1.3221.fc8.ppc64"; "2.6.21-1.3221.fc8.x86_64";
-    "2.6.21-1.3228.fc7.i586"; "2.6.21-1.3228.fc7.i686";
-    "2.6.21-1.3228.fc7.i686"; "2.6.21-1.3228.fc7.i686";
-    "2.6.21-1.3228.fc7.i686"; "2.6.21-1.3228.fc7.ppc";
-    "2.6.21-1.3228.fc7.ppc"; "2.6.21-1.3228.fc7.ppc64";
-    "2.6.21-1.3228.fc7.ppc64"; "2.6.21-1.3228.fc7.x86_64";
-    "2.6.21-1.3228.fc7.x86_64"; "2.6.21-1.3228.fc7.x86_64";
-    "2.6.21-1.3234.fc8.i686"; "2.6.21-1.3234.fc8.i686";
-    "2.6.21-1.3234.fc8.ppc"; "2.6.21-1.3234.fc8.ppc";
-    "2.6.21-1.3234.fc8.ppc64"; "2.6.21-1.3234.fc8.ppc64";
-    "2.6.21-1.3234.fc8.x86_64"; "2.6.21-1.3236.fc8.i686";
-    "2.6.21-1.3236.fc8.i686"; "2.6.21-1.3236.fc8.ppc";
-    "2.6.21-1.3236.fc8.ppc"; "2.6.21-1.3236.fc8.ppc64";
-    "2.6.21-1.3236.fc8.ppc64"; "2.6.21-1.3236.fc8.x86_64";
-    "2.6.21-1.3238.fc8.i686"; "2.6.21-1.3238.fc8.i686";
-    "2.6.21-1.3238.fc8.ppc"; "2.6.21-1.3238.fc8.ppc";
-    "2.6.21-1.3238.fc8.ppc64"; "2.6.21-1.3238.fc8.ppc64";
-    "2.6.21-1.3238.fc8.x86_64"; "2.6.21-1.3242.fc8.i686";
-    "2.6.21-1.3242.fc8.i686"; "2.6.21-1.3242.fc8.ppc";
-    "2.6.21-1.3242.fc8.ppc"; "2.6.21-1.3242.fc8.ppc64";
-    "2.6.21-1.3242.fc8.ppc64"; "2.6.21-1.3242.fc8.x86_64";
-    "2.6.22-0.23.rc7.git6.fc8.i686"; "2.6.22-0.23.rc7.git6.fc8.i686";
-    "2.6.22-0.23.rc7.git6.fc8.ppc"; "2.6.22-0.23.rc7.git6.fc8.ppc";
-    "2.6.22-0.23.rc7.git6.fc8.ppc64"; "2.6.22-0.23.rc7.git6.fc8.ppc64";
-    "2.6.22-0.23.rc7.git6.fc8.x86_64"; "2.6.22-0.rc7.2.fc8.i686";
-    "2.6.22-0.rc7.2.fc8.i686"; "2.6.22-0.rc7.2.fc8.ppc";
-    "2.6.22-0.rc7.2.fc8.ppc"; "2.6.22-0.rc7.2.fc8.ppc64";
-    "2.6.22-0.rc7.2.fc8.ppc64"; "2.6.22-0.rc7.2.fc8.x86_64";
-    "2.6.23.14-135.fc8.i586"; "2.6.23.14-135.fc8.i686";
-    "2.6.23.14-135.fc8.i686"; "2.6.23.14-135.fc8.i686";
-    "2.6.23.14-135.fc8.i686"; "2.6.23.14-135.fc8.ppc";
-    "2.6.23.14-135.fc8.ppc"; "2.6.23.14-135.fc8.ppc64";
-    "2.6.23.14-135.fc8.ppc64"; "2.6.23.14-135.fc8.x86_64";
-    "2.6.23.14-135.fc8.x86_64"; "2.6.23.14-78.fc7.i586";
-    "2.6.23.14-78.fc7.i686"; "2.6.23.14-78.fc7.i686";
-    "2.6.23.14-78.fc7.i686"; "2.6.23.14-78.fc7.ppc"; "2.6.23.14-78.fc7.ppc";
-    "2.6.23.14-78.fc7.ppc64"; "2.6.23.14-78.fc7.ppc64";
-    "2.6.23.14-78.fc7.x86_64"; "2.6.23.14-78.fc7.x86_64";
-    "2.6.24-0.167.rc8.git4.fc9.i586"; "2.6.24-0.167.rc8.git4.fc9.i686";
-    "2.6.24-0.167.rc8.git4.fc9.i686"; "2.6.24-0.167.rc8.git4.fc9.ppc";
-    "2.6.24-0.167.rc8.git4.fc9.ppc"; "2.6.24-0.167.rc8.git4.fc9.ppc64";
-    "2.6.24-0.167.rc8.git4.fc9.ppc64"; "2.6.24-0.167.rc8.git4.fc9.x86_64";
-    "2.6.24-7.fc9.i586"; "2.6.24-7.fc9.i686"; "2.6.24-7.fc9.i686";
-    "2.6.24-7.fc9.ppc"; "2.6.24-7.fc9.ppc"; "2.6.24-7.fc9.ppc64";
-    "2.6.24-7.fc9.ppc64"; "2.6.24-7.fc9.x86_64"; "2.6.24-9.fc9.i586";
-    "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.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.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.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" ];;
+  [ "2.6.20-1.2933.fc6.i586"; "2.6.20-1.2933.fc6.i686";
+    "2.6.20-1.2933.fc6.ppc"; "2.6.20-1.2933.fc6.ppc64";
+    "2.6.20-1.2933.fc6.x86_64"; "2.6.25.11-97.fc9.i686";
+    "2.6.25.11-97.fc9.x86_64"; "2.6.25.14-108.fc9.i586";
+    "2.6.25.14-108.fc9.i686"; "2.6.25.14-108.fc9.ppc";
+    "2.6.25.14-108.fc9.ppc64"; "2.6.25.14-108.fc9.x86_64";
+    "2.6.25.14-69.fc8.i586"; "2.6.25.14-69.fc8.i686"; "2.6.25.14-69.fc8.ppc";
+    "2.6.25.14-69.fc8.ppc64"; "2.6.25.14-69.fc8.x86_64" ];;