48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.24.4-59.fc8.x86_64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 48
+ (StringMap.
+ add
"2.6.25.11-54.fc8.x86_64"
72
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 72
+ (StringMap.
+ add
"2.6.23-0.70.rc1.git13.fc8.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.27-0.275.rc4.git2.fc10.ppc"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.23.1-11.fc8.ppc"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 72
+ (StringMap.
+ add
"2.6.25.4-30.fc9.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.23-0.53.rc1.git4.fc8.ppc"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.25.9-37.fc8.i586"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.25-0.234.rc9.git1.fc9.ppc"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 48
+ (StringMap.
+ add
"2.6.25-0.133.rc6.git3.fc9.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.25.7-65.fc9.i686"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.23.1-16.fc8.i686"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.25.9-72.fc9.ppc64"
72
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.25-0.200.rc8.git3.fc9.x86_64"
72
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.27-0.159.rc0.git6.fc10.x86_64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.24-0.39.rc3.git1.fc9.ppc"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.23.1-10.fc7.ppc"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.24-0.121.rc6.fc9.i586"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 72
+ (StringMap.
+ add
"2.6.23-0.187.rc6.git7.fc8.ppc"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.23-0.193.rc7.git1.fc8.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.23.14-72.fc7.x86_64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.26.5-21.fc8.i586"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.25.11-99.fc9.i686"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.26.3-5.fc8.ppc64"
72
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.24-0.71.rc4.fc9.i586"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 48
+ (StringMap.
+ add
"2.6.26-136.fc10.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.24.4-69.fc8.i686"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 48
+ (StringMap.
+ add
"2.6.26.5-22.fc8.i686"
48
(StringMap.
72
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 72
+ (StringMap.
+ add
"2.6.25.6-27.fc8.i686"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.26.5-21.fc8.x86_64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 72
+ (StringMap.
+ add
"2.6.25-3.fc9.ppc64"
72
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 48
+ (StringMap.
+ add
"2.6.27-0.254.rc3.fc10.i586"
48
(StringMap.
48
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 48
+ (StringMap.
+ add
"2.6.25-0.216.rc8.git7.fc9.ppc64"
72
(StringMap.
"2.6.26-0.25.rc3.git4.fc10.x86_64"
72
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in fun kernel_version -> StringMap.find kernel_version map;;
let task_struct_parser_1 kernel_version bits =
bitmatch bits with
1376
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 3432
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
3436
(StringMap.
3432
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
1736
(StringMap.
2572
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
2008
(StringMap.
2072
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
2880
(StringMap.
4684
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 5112
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
2704
(StringMap.
4180
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 3432
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
2856
(StringMap.
3524
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
4196
(StringMap.
6356
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 2124
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
1548
(StringMap.
3540
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
2316
(StringMap.
2572
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 2124
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
4652
(StringMap.
1832
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
6712
(StringMap.
1324
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
1604
(StringMap.
1920
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
4192
(StringMap.
2316
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
2064
(StringMap.
1772
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 5112
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
3540
(StringMap.
3540
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 2136
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
2124
(StringMap.
1592
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
4716
(StringMap.
1940
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
4684
(StringMap.
5808
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
6356
(StringMap.
6264
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
2496
(StringMap.
2524
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 2124
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
6340
(StringMap.
3364
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
2404
(StringMap.
4684
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 2136
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
2072
(StringMap.
2608
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 3432
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
2292
(StringMap.
1968
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 2136
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
2112
(StringMap.
1832
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
4444
(StringMap.
1788
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 5944
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
1832
(StringMap.
1400
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 5112
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
4676
(StringMap.
1760
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 2124
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
6232
(StringMap.
2124
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 2136
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
3364
(StringMap.
2324
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 5112
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
2404
(StringMap.
2496
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 3432
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
1976
(StringMap.
2212
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 3436
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
1888
(StringMap.
"2.6.24.4-58.fc8.i686"
1680
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
1116
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 1392
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
1392
(StringMap.
1388
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
952
(StringMap.
1776
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
1008
(StringMap.
1752
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
1408
(StringMap.
1380
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 2324
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
1284
(StringMap.
1384
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 1392
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
1408
(StringMap.
1244
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
1384
(StringMap.
2328
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 1072
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
1248
(StringMap.
1244
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
2064
(StringMap.
1776
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 1072
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
2288
(StringMap.
1212
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
2332
(StringMap.
1216
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
996
(StringMap.
1260
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
1380
(StringMap.
2064
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
1800
(StringMap.
1112
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 2324
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
1244
(StringMap.
1244
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 1120
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
1056
(StringMap.
996
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
1380
(StringMap.
1048
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
1380
(StringMap.
2312
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
2328
(StringMap.
2304
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
1752
(StringMap.
1776
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 1072
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
2328
(StringMap.
1444
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
1760
(StringMap.
1380
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 1120
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
1112
(StringMap.
2000
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 1392
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
2044
(StringMap.
904
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 1120
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
1260
(StringMap.
1212
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
2392
(StringMap.
1152
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 2340
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
1212
(StringMap.
1200
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 2324
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
1380
(StringMap.
1064
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 1072
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
2296
(StringMap.
1072
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 1120
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
1444
(StringMap.
2064
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 2324
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
1760
(StringMap.
1752
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 1392
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
1008
(StringMap.
1744
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 1392
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
992
(StringMap.
"2.6.24.4-58.fc8.i686"
1076
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
488
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 912
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
912
(StringMap.
912
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.25.10-53.fc8.i686"
356
(StringMap.
488
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
284
(StringMap.
1224
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.25.12-100.fc9.ppc64"
488
(StringMap.
356
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 1680
+ (StringMap.
+ add
"2.6.25.5-19.fc8.x86_64"
488
(StringMap.
732
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 912
+ (StringMap.
+ add
"2.6.25.14-108.fc9.ppc64"
488
(StringMap.
80
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
732
(StringMap.
1352
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 860
+ (StringMap.
+ add
"2.6.25.11-60.fc8.x86_64"
488
(StringMap.
80
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.24-0.77.rc4.git4.fc9.ppc64"
120
(StringMap.
1224
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 860
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
152
(StringMap.
284
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
1648
(StringMap.
660
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.25.14-69.fc8.i686"
356
(StringMap.
284
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
732
(StringMap.
284
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.27-0.329.rc6.git2.fc10.i586"
912
(StringMap.
616
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 1680
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
80
(StringMap.
80
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 864
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
860
(StringMap.
732
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
356
(StringMap.
64
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
356
(StringMap.
1352
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
1352
(StringMap.
616
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
488
(StringMap.
488
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 860
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
1352
(StringMap.
64
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
120
(StringMap.
356
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 864
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
684
(StringMap.
520
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 912
+ (StringMap.
+ add
"2.6.25.11-61.fc8.x86_64"
616
(StringMap.
276
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 864
+ (StringMap.
+ add
"2.6.25.3-18.fc9.i586"
284
(StringMap.
284
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.25.11-93.fc9.ppc"
284
(StringMap.
64
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 1680
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
284
(StringMap.
488
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 1680
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
360
(StringMap.
284
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 860
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
616
(StringMap.
860
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 864
+ (StringMap.
+ add
"2.6.25.14-107.fc9.ppc64"
488
(StringMap.
80
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 1680
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
120
(StringMap.
488
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 912
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
284
(StringMap.
120
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 912
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
64
(StringMap.
"2.6.24.4-58.fc8.i686"
64
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
240
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 300
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
300
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
236
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
244
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
292
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 464
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
288
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 300
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
292
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
300
(StringMap.
464
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 264
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
244
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
400
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 264
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
464
(StringMap.
244
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
464
(StringMap.
244
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
260
(StringMap.
328
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
300
(StringMap.
400
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
368
(StringMap.
264
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 464
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
300
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 268
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
264
(StringMap.
260
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
300
(StringMap.
264
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
300
(StringMap.
464
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
464
(StringMap.
464
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
368
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 264
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
464
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
368
(StringMap.
300
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 268
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
268
(StringMap.
400
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 300
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
400
(StringMap.
236
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 268
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
328
(StringMap.
244
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
464
(StringMap.
268
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 464
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
244
(StringMap.
264
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 464
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
300
(StringMap.
244
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 264
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
464
(StringMap.
264
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 268
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
300
(StringMap.
400
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 464
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
368
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 300
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
244
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 300
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
244
(StringMap.
"2.6.24.4-58.fc8.i686"
244
StringMap.
- empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
344
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 424
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
424
(StringMap.
424
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
340
(StringMap.
536
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
356
(StringMap.
536
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
396
(StringMap.
412
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 656
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
392
(StringMap.
416
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 424
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
396
(StringMap.
412
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
416
(StringMap.
648
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 384
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
348
(StringMap.
412
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
568
(StringMap.
536
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 384
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
648
(StringMap.
356
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
656
(StringMap.
360
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
360
(StringMap.
464
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
416
(StringMap.
568
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
528
(StringMap.
364
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 656
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
412
(StringMap.
412
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 392
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
384
(StringMap.
360
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
412
(StringMap.
372
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
412
(StringMap.
648
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
648
(StringMap.
648
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
536
(StringMap.
536
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 384
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
648
(StringMap.
404
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
544
(StringMap.
412
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 392
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
384
(StringMap.
584
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 424
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
568
(StringMap.
348
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 392
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
464
(StringMap.
356
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
632
(StringMap.
372
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 656
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
356
(StringMap.
368
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 656
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
412
(StringMap.
348
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 384
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
648
(StringMap.
384
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 392
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
404
(StringMap.
568
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 656
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
544
(StringMap.
536
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 424
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
356
(StringMap.
544
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 424
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
356
(StringMap.
"2.6.24.4-58.fc8.i686"
356
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 51
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
51
(StringMap.
51
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
55
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
55
(StringMap.
67
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 67
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
55
(StringMap.
51
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 51
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
51
(StringMap.
67
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
71
(StringMap.
67
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
67
(StringMap.
51
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
55
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
55
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 67
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
51
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
55
(StringMap.
67
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
67
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
71
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
67
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
51
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 51
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
71
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 67
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 67
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
55
(StringMap.
55
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
71
(StringMap.
51
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 51
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
55
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 67
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
71
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 51
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
55
(StringMap.
71
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 51
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
55
(StringMap.
"2.6.24.4-58.fc8.i686"
55
StringMap.
- empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
128
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ 156
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
156
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
124
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
128
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
152
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ 256
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
152
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ 156
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
152
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
156
(StringMap.
256
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
128
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
224
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
256
(StringMap.
128
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
256
(StringMap.
128
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
140
(StringMap.
192
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
156
(StringMap.
224
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
200
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ 256
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
156
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
140
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
156
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
156
(StringMap.
256
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
256
(StringMap.
256
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
200
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
256
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
200
(StringMap.
156
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
140
(StringMap.
224
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ 156
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
224
(StringMap.
124
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
192
(StringMap.
128
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
256
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ 256
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
128
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ 256
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
156
(StringMap.
128
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
256
(StringMap.
140
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ 140
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
156
(StringMap.
224
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ 256
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
200
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ 156
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
128
(StringMap.
200
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ 156
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
128
(StringMap.
"2.6.24.4-58.fc8.i686"
128
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
task_struct_parser_8
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ task_struct_parser_46
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
task_struct_parser_20
(StringMap.
task_struct_parser_46
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
task_struct_parser_62
(StringMap.
task_struct_parser_49
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
task_struct_parser_31
(StringMap.
task_struct_parser_91
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
task_struct_parser_92
(StringMap.
task_struct_parser_4
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ task_struct_parser_53
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
task_struct_parser_8
(StringMap.
task_struct_parser_68
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ task_struct_parser_46
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
task_struct_parser_10
(StringMap.
task_struct_parser_6
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
task_struct_parser_99
(StringMap.
task_struct_parser_60
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
task_struct_parser_44
(StringMap.
task_struct_parser_27
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
task_struct_parser_48
(StringMap.
task_struct_parser_75
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
task_struct_parser_38
(StringMap.
task_struct_parser_4
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
task_struct_parser_45
(StringMap.
task_struct_parser_107
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
task_struct_parser_24
(StringMap.
task_struct_parser_18
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
task_struct_parser_67
(StringMap.
task_struct_parser_48
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
task_struct_parser_30
(StringMap.
task_struct_parser_13
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ task_struct_parser_53
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
task_struct_parser_27
(StringMap.
task_struct_parser_27
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
task_struct_parser_21
(StringMap.
task_struct_parser_24
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
task_struct_parser_28
(StringMap.
task_struct_parser_32
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
task_struct_parser_61
(StringMap.
task_struct_parser_5
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
task_struct_parser_60
(StringMap.
task_struct_parser_88
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
task_struct_parser_19
(StringMap.
task_struct_parser_3
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
task_struct_parser_35
(StringMap.
task_struct_parser_40
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
task_struct_parser_9
(StringMap.
task_struct_parser_4
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
task_struct_parser_59
(StringMap.
task_struct_parser_47
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ task_struct_parser_46
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
task_struct_parser_96
(StringMap.
task_struct_parser_65
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
task_struct_parser_22
(StringMap.
task_struct_parser_55
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
task_struct_parser_30
(StringMap.
task_struct_parser_13
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ task_struct_parser_45
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
task_struct_parser_4
(StringMap.
task_struct_parser_8
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ task_struct_parser_53
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
task_struct_parser_66
(StringMap.
task_struct_parser_13
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
task_struct_parser_19
(StringMap.
task_struct_parser_21
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ task_struct_parser_21
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
task_struct_parser_40
(StringMap.
task_struct_parser_7
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ task_struct_parser_53
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
task_struct_parser_9
(StringMap.
task_struct_parser_19
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ task_struct_parser_46
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
task_struct_parser_11
(StringMap.
task_struct_parser_38
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ task_struct_parser_20
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
task_struct_parser_29
(StringMap.
"2.6.24.4-58.fc8.i686"
task_struct_parser_6
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
net_device_parser_124
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
net_device_parser_132
(StringMap.
net_device_parser_132
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
net_device_parser_127
(StringMap.
net_device_parser_120
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
net_device_parser_126
(StringMap.
net_device_parser_119
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
net_device_parser_125
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ net_device_parser_122
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
net_device_parser_124
(StringMap.
net_device_parser_138
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
net_device_parser_125
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
net_device_parser_138
(StringMap.
net_device_parser_120
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
net_device_parser_129
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
net_device_parser_123
(StringMap.
net_device_parser_120
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
net_device_parser_119
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
net_device_parser_139
(StringMap.
net_device_parser_138
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
net_device_parser_135
(StringMap.
net_device_parser_131
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
net_device_parser_138
(StringMap.
net_device_parser_123
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
net_device_parser_136
(StringMap.
net_device_parser_127
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ net_device_parser_122
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
net_device_parser_121
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
net_device_parser_133
(StringMap.
net_device_parser_135
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
net_device_parser_121
(StringMap.
net_device_parser_126
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
net_device_parser_121
(StringMap.
net_device_parser_119
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
net_device_parser_120
(StringMap.
net_device_parser_119
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
net_device_parser_119
(StringMap.
net_device_parser_120
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
net_device_parser_120
(StringMap.
net_device_parser_129
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
net_device_parser_120
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
net_device_parser_128
(StringMap.
net_device_parser_120
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
net_device_parser_137
(StringMap.
net_device_parser_126
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
net_device_parser_141
(StringMap.
net_device_parser_121
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
net_device_parser_136
(StringMap.
net_device_parser_127
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ net_device_parser_139
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
net_device_parser_121
(StringMap.
net_device_parser_124
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ net_device_parser_122
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
net_device_parser_121
(StringMap.
net_device_parser_127
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
net_device_parser_119
(StringMap.
net_device_parser_133
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ net_device_parser_133
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
net_device_parser_129
(StringMap.
net_device_parser_123
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ net_device_parser_122
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
net_device_parser_120
(StringMap.
net_device_parser_119
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
net_device_parser_126
(StringMap.
net_device_parser_119
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ net_device_parser_132
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
net_device_parser_126
(StringMap.
"2.6.24.4-58.fc8.i686"
net_device_parser_121
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
net_parser_147
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ net_parser_152
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
net_parser_152
(StringMap.
net_parser_152
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.10-53.fc8.i686"
net_parser_155
(StringMap.
net_parser_147
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
net_parser_150
(StringMap.
net_parser_145
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.25.12-100.fc9.ppc64"
net_parser_147
(StringMap.
net_parser_148
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ net_parser_163
+ (StringMap.
+ add
"2.6.25.5-19.fc8.x86_64"
net_parser_145
(StringMap.
net_parser_157
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.14-108.fc9.ppc64"
net_parser_147
(StringMap.
net_parser_149
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
net_parser_149
(StringMap.
net_parser_158
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.25.11-60.fc8.x86_64"
net_parser_145
(StringMap.
net_parser_149
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.24-0.77.rc4.git4.fc9.ppc64"
net_parser_146
(StringMap.
net_parser_147
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
net_parser_159
(StringMap.
net_parser_148
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
net_parser_158
(StringMap.
net_parser_157
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.14-69.fc8.i686"
net_parser_155
(StringMap.
net_parser_148
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
net_parser_149
(StringMap.
net_parser_150
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.27-0.329.rc6.git2.fc10.i586"
net_parser_152
(StringMap.
net_parser_145
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ net_parser_163
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
net_parser_149
(StringMap.
net_parser_149
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
net_parser_154
(StringMap.
net_parser_149
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
net_parser_155
(StringMap.
net_parser_151
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
net_parser_148
(StringMap.
net_parser_145
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
net_parser_158
(StringMap.
net_parser_145
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
net_parser_153
(StringMap.
net_parser_147
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
net_parser_158
(StringMap.
net_parser_151
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
net_parser_146
(StringMap.
net_parser_155
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
net_parser_151
(StringMap.
net_parser_147
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.11-61.fc8.x86_64"
net_parser_145
(StringMap.
net_parser_150
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.25.3-18.fc9.i586"
net_parser_155
(StringMap.
net_parser_155
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.11-93.fc9.ppc"
net_parser_150
(StringMap.
net_parser_151
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ net_parser_161
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
net_parser_148
(StringMap.
net_parser_147
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ net_parser_163
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
net_parser_152
(StringMap.
net_parser_155
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
net_parser_153
(StringMap.
net_parser_154
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ net_parser_154
+ (StringMap.
+ add
"2.6.25.14-107.fc9.ppc64"
net_parser_147
(StringMap.
net_parser_149
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ net_parser_163
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
net_parser_146
(StringMap.
net_parser_153
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ net_parser_152
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
net_parser_150
(StringMap.
net_parser_159
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ net_parser_152
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
net_parser_151
(StringMap.
"2.6.24.4-58.fc8.i686"
net_parser_157
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
in_device_parser_167
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
in_device_parser_167
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ in_device_parser_164
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
in_device_parser_166
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
in_device_parser_164
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
in_device_parser_167
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
in_device_parser_166
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
in_device_parser_164
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ in_device_parser_164
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
in_device_parser_167
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
in_device_parser_166
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
in_device_parser_166
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
in_device_parser_164
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
in_device_parser_167
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
in_device_parser_164
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ in_device_parser_165
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
in_device_parser_166
(StringMap.
in_device_parser_166
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ in_device_parser_164
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
in_device_parser_166
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
in_device_parser_164
(StringMap.
in_device_parser_167
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ in_device_parser_167
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
in_device_parser_166
(StringMap.
in_device_parser_165
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ in_device_parser_164
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
in_device_parser_165
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
in_device_parser_167
(StringMap.
in_device_parser_164
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ in_device_parser_166
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
in_device_parser_167
(StringMap.
"2.6.24.4-58.fc8.i686"
in_device_parser_166
StringMap.
- empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ inet6_dev_parser_168
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
inet6_dev_parser_168
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
inet6_dev_parser_168
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ inet6_dev_parser_168
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
inet6_dev_parser_168
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
inet6_dev_parser_168
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ inet6_dev_parser_169
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_170
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ inet6_dev_parser_168
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
inet6_dev_parser_168
(StringMap.
inet6_dev_parser_171
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ inet6_dev_parser_171
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
inet6_dev_parser_170
(StringMap.
inet6_dev_parser_169
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ inet6_dev_parser_168
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
inet6_dev_parser_169
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
inet6_dev_parser_171
(StringMap.
inet6_dev_parser_168
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ inet6_dev_parser_170
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
inet6_dev_parser_171
(StringMap.
"2.6.24.4-58.fc8.i686"
inet6_dev_parser_170
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ in_ifaddr_parser_172
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
in_ifaddr_parser_172
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
in_ifaddr_parser_172
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ in_ifaddr_parser_172
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
in_ifaddr_parser_172
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
in_ifaddr_parser_172
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ in_ifaddr_parser_173
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_174
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ in_ifaddr_parser_172
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
in_ifaddr_parser_172
(StringMap.
in_ifaddr_parser_175
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ in_ifaddr_parser_175
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
in_ifaddr_parser_174
(StringMap.
in_ifaddr_parser_173
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ in_ifaddr_parser_172
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
in_ifaddr_parser_173
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
in_ifaddr_parser_175
(StringMap.
in_ifaddr_parser_172
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ in_ifaddr_parser_174
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
in_ifaddr_parser_175
(StringMap.
"2.6.24.4-58.fc8.i686"
in_ifaddr_parser_174
StringMap.
- empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
inet6_ifaddr_parser_181
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i586"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.27-0.321.rc6.fc10.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23.14-115.fc8.ppc"
inet6_ifaddr_parser_186
(StringMap.
inet6_ifaddr_parser_178
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.25.2-4.fc10.ppc"
inet6_ifaddr_parser_182
(StringMap.
inet6_ifaddr_parser_176
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.21-1.3234.fc8.i686"
inet6_ifaddr_parser_181
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.x86_64"
+ inet6_ifaddr_parser_176
+ (StringMap.
+ add
"2.6.21-1.3132.fc7.i686"
inet6_ifaddr_parser_181
(StringMap.
inet6_ifaddr_parser_183
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i586"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23-0.14.rc0.git1.fc8.i686"
inet6_ifaddr_parser_181
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.27-0.148.rc0.git2.fc10.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_190
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.23.8-62.fc8.i586"
inet6_ifaddr_parser_183
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23-0.220.rc9.git2.fc8.ppc64"
inet6_ifaddr_parser_177
(StringMap.
inet6_ifaddr_parser_178
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.24.3-37.fc8.x86_64"
inet6_ifaddr_parser_188
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.27-0.180.rc0.git11.fc10.ppc64"
inet6_ifaddr_parser_190
(StringMap.
inet6_ifaddr_parser_183
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.21-1.3142.fc7.ppc"
inet6_ifaddr_parser_184
(StringMap.
inet6_ifaddr_parser_194
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.26-0.25.rc3.git4.fc10.i586"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_177
(StringMap.
add
+ "2.6.27-0.339.rc7.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23.1-11.fc8.x86_64"
inet6_ifaddr_parser_176
(StringMap.
inet6_ifaddr_parser_184
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.x86_64"
+ inet6_ifaddr_parser_176
+ (StringMap.
+ add
"2.6.24-0.76.rc4.git3.fc9.i586"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.27-0.208.rc1.git2.fc10.ppc"
inet6_ifaddr_parser_184
(StringMap.
inet6_ifaddr_parser_184
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.25-6.fc9.i686"
inet6_ifaddr_parser_183
(StringMap.
inet6_ifaddr_parser_184
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.25-0.141.rc6.git5.fc9.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_176
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.26-138.fc10.ppc64"
inet6_ifaddr_parser_190
(StringMap.
inet6_ifaddr_parser_176
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.25.9-40.fc8.x86_64"
inet6_ifaddr_parser_188
(StringMap.
inet6_ifaddr_parser_178
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.26-0.81.rc7.fc10.ppc64"
inet6_ifaddr_parser_190
(StringMap.
inet6_ifaddr_parser_179
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.24.2-4.fc8.ppc64"
inet6_ifaddr_parser_178
(StringMap.
inet6_ifaddr_parser_183
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.26-0.124.rc9.git5.fc10.ppc"
inet6_ifaddr_parser_184
(StringMap.
inet6_ifaddr_parser_177
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.i586"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23-0.15.rc0.git1.fc8.ppc64"
inet6_ifaddr_parser_177
(StringMap.
inet6_ifaddr_parser_186
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.20-1.2952.fc6.ppc64"
inet6_ifaddr_parser_189
(StringMap.
inet6_ifaddr_parser_183
(StringMap.
add
+ "2.6.27-0.347.rc7.git1.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.23-0.186.rc6.git7.fc8.x86_64"
inet6_ifaddr_parser_176
(StringMap.
inet6_ifaddr_parser_184
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.ppc64"
+ inet6_ifaddr_parser_190
+ (StringMap.
+ add
"2.6.25.4-42.fc9.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_180
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.x86_64"
+ inet6_ifaddr_parser_176
+ (StringMap.
+ add
"2.6.25-0.88.rc3.git4.fc9.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_186
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.25.11-55.fc8.x86_64"
inet6_ifaddr_parser_188
(StringMap.
inet6_ifaddr_parser_184
(StringMap.
add
+ "2.6.27-0.345.rc7.fc10.ppc"
+ inet6_ifaddr_parser_184
+ (StringMap.
+ add
"2.6.23-0.215.rc8.git4.fc8.i686"
inet6_ifaddr_parser_179
(StringMap.
inet6_ifaddr_parser_177
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.x86_64"
+ inet6_ifaddr_parser_176
+ (StringMap.
+ add
"2.6.24.4-69.fc8.ppc64"
inet6_ifaddr_parser_178
(StringMap.
inet6_ifaddr_parser_188
(StringMap.
add
+ "2.6.27-0.344.rc7.fc10.i586"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.25.11-92.fc9.ppc"
inet6_ifaddr_parser_186
(StringMap.
inet6_ifaddr_parser_188
(StringMap.
add
+ "2.6.27-0.346.rc7.git1.fc10.i686"
+ inet6_ifaddr_parser_179
+ (StringMap.
+ add
"2.6.24.2-10.fc8.ppc"
inet6_ifaddr_parser_186
(StringMap.
"2.6.24.4-58.fc8.i686"
inet6_ifaddr_parser_183
StringMap.
- empty)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+ empty))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
in
fun kernel_version ->
try StringMap.find kernel_version map
-#, fuzzy
+# translation of pl.po to Polish
+# Piotr Drąg <piotrdrag@gmail.com>, 2008.
+#
msgid ""
msgstr ""
"Project-Id-Version: pl\n"
"Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2008-03-28 17:30+0000\n"
-"PO-Revision-Date: 2008-04-12 21:09+0200\n"
+"POT-Creation-Date: 2008-10-21 09:02+0000\n"
+"PO-Revision-Date: 2008-10-24 17:30+0200\n"
"Last-Translator: Piotr Drąg <piotrdrag@gmail.com>\n"
"Language-Team: Polish <pl@li.org>\n"
"MIME-Version: 1.0\n"
"Content-Transfer-Encoding: 8bit\n"
#: ../lib/virt_mem.ml:619
-msgid "%s: cannot find dev_base, dev_base_head or init_net symbols in kernel image.\\n"
+msgid ""
+"%s: cannot find dev_base, dev_base_head or init_net symbols in kernel image."
+"\\n"
msgstr ""
+"%s: nie można znaleźć symboli dev_base, dev_base_head lub init_net w obrazie "
+"jądra."
+"\\n"
#: ../lib/virt_mem.ml:574
msgid "%s: cannot find init_task symbol in kernel image.\\n"
-msgstr ""
+msgstr "%s: nie można znaleźć symbolu init_task w obrazie jądra.\\n"
#: ../dmesg/virt_dmesg.ml:72
msgid "%s: could not find kernel log buffer in kernel image\\n"
-msgstr ""
+msgstr "%s: nie można znaleźć bufora dziennika jądra w obrazie jądra\\n"
#: ../lib/virt_mem.ml:371
msgid "%s: domain is not running"
-msgstr ""
+msgstr "%s: domena nie jest uruchomiona"
#: ../uname/virt_uname.ml:34
msgid "%s: no system_utsname in kernel image\\n"
-msgstr ""
+msgstr "%s: brak system_utsname w obrazie jądra\\n"
#: ../lib/virt_mem.ml:366
msgid "%s: unknown domain (not a UUID, name or ID of any active domain)"
msgstr ""
+"%s: nieznana domena (nie posiada UUID, nazwy lub identyfikatora żadnej "
+"aktywnej domeny)"
#: ../lib/virt_mem.ml:482 ../lib/virt_mem.ml:417
msgid "%s: use -A to define architecture (i386/x86-64 only) for this image"
-msgstr ""
+msgstr "%s: użyj -A, aby podać architekturę (tylko i386/x86-64) tego obrazu"
#: ../lib/virt_mem.ml:473 ../lib/virt_mem.ml:408
msgid "%s: use -E to define endianness for this image"
-msgstr ""
+msgstr "%s: użyj -E, aby podać kolejność bajtów tego obrazu"
#: ../lib/virt_mem.ml:486 ../lib/virt_mem.ml:423
msgid "%s: use -T to define kernel load address for this image"
-msgstr ""
+msgstr "%s: użyj -T, aby podać adres wczytywania jądra tego obrazu"
#: ../lib/virt_mem.ml:466 ../lib/virt_mem.ml:401
msgid "%s: use -W to define word size for this image"
-msgstr ""
+msgstr "%s: użyj -W, aby podać rozmiar słowa tego obrazu"
#: ../lib/virt_mem.ml:272 ../lib/virt_mem.ml:270
msgid "Connect to URI"
-msgstr ""
+msgstr "Połącz się z URI"
#: ../lib/virt_mem.ml:274
msgid "Debug mode (default: false)"
-msgstr ""
+msgstr "Tryb debugowania (domyślnie: fałsz)"
#: ../lib/virt_mem.ml:280
msgid "Display version and exit"
#: ../lib/virt_mem.ml:276
msgid "List known kernels"
-msgstr ""
+msgstr "Wyświetl listę znanych jąder"
#: ../lib/virt_mem.ml:342
-msgid "NB: If you want to monitor a local Xen hypervisor, you usually need to be root"
-msgstr "NB: jeśli chcesz monitorować lokalnego nadzorcę Xena, zwykle musisz być rootem"
+msgid ""
+"NB: If you want to monitor a local Xen hypervisor, you usually need to be "
+"root"
+msgstr ""
+"NB: jeśli chcesz monitorować lokalnego nadzorcę Xena, zwykle musisz być "
+"rootem"
#: ../lib/virt_mem.ml:262
msgid "Set kernel architecture, endianness and word size"
-msgstr ""
+msgstr "Ustaw architekturę jądra, kolejność bajtów i rozmiar słowa"
#: ../lib/virt_mem.ml:264
msgid "Set kernel endianness"
-msgstr ""
+msgstr "Ustaw kolejność bajtów jądra"
#: ../lib/virt_mem.ml:266
msgid "Set kernel text address"
-msgstr ""
+msgstr "Ustaw adres tekstu jądra"
#: ../lib/virt_mem.ml:268
msgid "Set kernel word size"
-msgstr ""
+msgstr "Ustaw rozmiar słowa jądra"
#: ../lib/virt_mem.ml:278
msgid "Use saved kernel memory image"
-msgstr ""
+msgstr "Użyj zapisanej pamięci jądra obrazu"
#: ../lib/virt_mem.ml:147
-msgid "\\\n\n%s: %s\n\nDescription:\n%s\n\nOptions:"
-msgstr ""
+msgid ""
+"\\\n"
+"\n"
+"%s: %s\n"
+"\n"
+"Description:\n"
+"%s\n"
+"\n"
+"Options:"
+msgstr ""
+"\\\n"
+"\n"
+"%s: %s\n"
+"\n"
+"Opis:\n"
+"%s\n"
+"\n"
+"Opcje:"
#: ../lib/virt_mem.ml:127
-msgid "\\\n\nvirt-mem: Tools for providing information about virtual machines\n\nCurrently available tools include:\n%s\n\nGeneral usage is:\n <tool> [-options] [domains...]\n\nTo display extra help for a single tool, do:\n virt-mem --help <tool>\n\nOptions:"
-msgstr ""
+msgid ""
+"\\\n"
+"\n"
+"virt-mem: Tools for providing information about virtual machines\n"
+"\n"
+"Currently available tools include:\n"
+"%s\n"
+"\n"
+"General usage is:\n"
+" <tool> [-options] [domains...]\n"
+"\n"
+"To display extra help for a single tool, do:\n"
+" virt-mem --help <tool>\n"
+"\n"
+"Options:"
+msgstr ""
+"\\\n"
+"\n"
+"virt-mem: narzędzia dostarczające informacje o maszynach wirtualnych\n"
+"\n"
+"Obecnie dostępne narzędzia:\n"
+"%s\n"
+"\n"
+"Użycie:\n"
+" <narzędzie> [-opcje] [domeny...]\n"
+"\n"
+"Aby wyświetlić dodatkową pomoc dla pojedynczego narzędzia, wykonaj:\n"
+" virt-mem --help <narzędzie>\n"
+"\n"
+"Opcje:"
#: ../dmesg/virt_dmesg.ml:76
-msgid "\\\nvirt-dmesg prints the kernel messages for virtual machines running\nunder libvirt. The output is similar to the ordinary dmesg command\nrun inside the virtual machine."
+msgid ""
+"\\\n"
+"virt-dmesg prints the kernel messages for virtual machines running\n"
+"under libvirt. The output is similar to the ordinary dmesg command\n"
+"run inside the virtual machine."
msgstr ""
+"\\\n"
+"virt-dmesg wyświetla komunikaty jądra maszyn wirtualnych uruchomionych\n"
+"pod libvirt. Wyjście jest podobne do zwykłego polecenia dmesg\n"
+"uruchomionego w maszynie wirtualnej."
#: ../lib/virt_mem.ml:319
-msgid "\\\nvirt-mem: I could not work out which tool you are trying to run.\nUse 'virt-mem --help' for more help or read the manual page virt-mem(1)"
+msgid ""
+"\\\n"
+"virt-mem: I could not work out which tool you are trying to run.\n"
+"Use 'virt-mem --help' for more help or read the manual page virt-mem(1)"
msgstr ""
+"\\\n"
+"virt-mem: nie wiadomo, które narzędzie próbowano uruchomić.\n"
+"Użyj \"virt-mem --help\", aby uzyskać więcej informacji lub\n"
+"przeczytaj stronę podręcznika virt-mem(1)"
#: ../ps/virt_ps.ml:50
-msgid "\\\nvirt-ps prints a process listing for virtual machines running under\nlibvirt."
+msgid ""
+"\\\n"
+"virt-ps prints a process listing for virtual machines running under\n"
+"libvirt."
msgstr ""
+"\\\n"
+"virt-ps wyświetla listę procesów maszyn wirtualnych uruchomionych\n"
+"pod libvirt."
#: ../uname/virt_uname.ml:37
-msgid "\\\nvirt-uname prints the uname information such as OS version,\narchitecture and node name for virtual machines running under\nlibvirt."
+msgid ""
+"\\\n"
+"virt-uname prints the uname information such as OS version,\n"
+"architecture and node name for virtual machines running under\n"
+"libvirt."
msgstr ""
+"\\\n"
+"virt-uname wyświetla informacje uname, takie jak wersję systemu\n"
+"operacyjnego, architekturę i nazwę węzła dla maszyn wirtualnych\n"
+"uruchomionych pod libvirt."
#: ../lib/virt_mem.ml:632
msgid "could not read kernel symbols"
-msgstr ""
+msgstr "nie można odczytać symboli jądra"
#: ../lib/virt_mem.ml:634
msgid "could not read kernel version"
-msgstr ""
+msgstr "nie można odczytać wersji jądra"
#: ../lib/virt_mem.ml:638
msgid "could not read net device table"
-msgstr ""
+msgstr "nie można odczytać tablicy urządzeń"
#: ../lib/virt_mem.ml:636
msgid "could not read process table"
-msgstr ""
+msgstr "nie można odczytać tablicy procesów"
#: ../dmesg/virt_dmesg.ml:75
msgid "display kernel messages"
-msgstr ""
+msgstr "wyświetl komunikaty jądra"
#: ../ps/virt_ps.ml:49
msgid "list processes in virtual machine"
-msgstr ""
+msgstr "wyświetl listę procesów maszyny wirtualnej"
#: ../lib/virt_mem.ml:179
msgid "set_endian: %s: unknown endianness"
-msgstr ""
+msgstr "set_endian: %s: nieznana kolejność bajtów"
#: ../lib/virt_mem.ml:222
msgid "set_text_addr: %s: incorrect number of parameters to -T option"
-msgstr ""
+msgstr "set_text_addr: %s: niepoprawna liczba parametrów opcji -T"
#: ../lib/virt_mem.ml:168
msgid "set_wordsize: %s: unknown wordsize"
-msgstr ""
+msgstr "set_wordsize: %s: nieznany rozmiar słowa"
#: ../uname/virt_uname.ml:36
msgid "uname command for virtual machines"
-msgstr ""
+msgstr "polecenie uname dla maszyn wirtualnych"
#: ../lib/virt_mem.ml:436
-msgid "virt-mem: error loading kernel memory: address out of range\nPossibly the '-T' command line parameter was used inconsistently."
+msgid ""
+"virt-mem: error loading kernel memory: address out of range\n"
+"Possibly the '-T' command line parameter was used inconsistently."
msgstr ""
+"virt-mem: błąd podczas wczytywania pamięci jądra: adres spoza zakresu\n"
+"Prawdopodobnie niekonsekwentnie użyto parametru wiersza poleceń \"-T\"."
#: ../lib/virt_mem.ml:453
-msgid "virt-mem: if -t given on command line, then no domain arguments should be listed"
+msgid ""
+"virt-mem: if -t given on command line, then no domain arguments should be "
+"listed"
msgstr ""
-
+"virt-mem: jeśli podano -t w wierszu poleceń, żadne parametry domen nie "
+"powinny być wyświetlone"