X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fvirt_mem_kernels.ml;h=fa71776cf6c8f7b5fb2f06d2db9a027bdb1970b6;hp=68ede244eda2a44f605365ad3423acc7ca05437d;hb=087e50157b4661100f70d1cd6c79b22e85c40c25;hpb=ce3a2b6dc35d60e6ac0679b060fd10213c0b4628 diff --git a/lib/virt_mem_kernels.ml b/lib/virt_mem_kernels.ml index 68ede24..fa71776 100644 --- a/lib/virt_mem_kernels.ml +++ b/lib/virt_mem_kernels.ml @@ -1,9 +1,160 @@ let kernels = - [ "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.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.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.i686"; "2.6.25.14-108.fc9.i686"; + "2.6.25.14-108.fc9.i686"; "2.6.25.14-108.fc9.i686"; + "2.6.25.14-108.fc9.ppc"; "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" ];; + "2.6.25.14-108.fc9.x86_64"; "2.6.25.14-68.fc8.i686"; + "2.6.25.14-68.fc8.i686"; "2.6.25.14-68.fc8.i686"; + "2.6.25.14-69.fc8.i586"; "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.25.14-69.fc8.ppc"; "2.6.25.14-69.fc8.ppc"; + "2.6.25.14-69.fc8.ppc64"; "2.6.25.14-69.fc8.ppc64"; + "2.6.25.14-69.fc8.x86_64"; "2.6.25.14-69.fc8.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.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-14.fc9.i586"; + "2.6.26.2-14.fc9.i686"; "2.6.26.2-14.fc9.i686"; "2.6.26.2-14.fc9.i686"; + "2.6.26.2-14.fc9.i686"; "2.6.26.2-14.fc9.ppc"; "2.6.26.2-14.fc9.ppc"; + "2.6.26.2-14.fc9.ppc64"; "2.6.26.2-14.fc9.ppc64"; + "2.6.26.2-14.fc9.x86_64"; "2.6.26.2-14.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"; + "2.6.27-0.254.rc3.fc10.i586"; "2.6.27-0.254.rc3.fc10.i686"; + "2.6.27-0.254.rc3.fc10.i686"; "2.6.27-0.254.rc3.fc10.ppc"; + "2.6.27-0.254.rc3.fc10.ppc"; "2.6.27-0.254.rc3.fc10.ppc64"; + "2.6.27-0.254.rc3.fc10.ppc64"; "2.6.27-0.254.rc3.fc10.x86_64" ];;