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