let alpha = ref "" (* prefix of numeric identifiers *)
-let kernel_id () = match !kernel with
- | V4 -> ""
- | V3 -> "V3"
- | V0 -> "V0"
+let kernel_id () =
+ let id = match !kernel with
+ | V4 -> "Environment"
+ | V3 -> "Environment_V3"
+ | V0 -> "Environment_V0"
+ in
+ let si = if !si then "_si" else "" in
+ id ^ si
let get_baseuri () =
String.concat "/" ["ld:"; kernel_id (); !cover; "" ]