diff --git a/config.ml b/config.ml index 1e308ec..d2e198e 100644 --- a/config.ml +++ b/config.ml @@ -1,4 +1,4 @@ -(* mirage >= 4.5.0 & < 4.6.0 *) +(* mirage >= 4.5.0 & < 4.7.0 *) open Mirage (* xenstore id 51712 is the root volume *)