Add --list-kernels option and add a warning to the generated files.
[virt-mem.git] / lib / virt_mem_kernels.ml
diff --git a/lib/virt_mem_kernels.ml b/lib/virt_mem_kernels.ml
new file mode 100644 (file)
index 0000000..14ce07a
--- /dev/null
@@ -0,0 +1,112 @@
+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.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.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" ];;