X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=template.mli;fp=template.mli;h=bb1d7f2c6ab05cff527033bddcaee57a563aae62;hb=737ffdb932c89d8ec0b2c3d9731ca325da9d84f3;hp=470baeba8290e569f91223be459197a6690f4e07;hpb=00c6b7f0a9371df0212dbe84abb1f95c162609a0;p=mclu.git diff --git a/template.mli b/template.mli index 470baeb..bb1d7f2 100644 --- a/template.mli +++ b/template.mli @@ -32,6 +32,7 @@ type template_info = { disk_bus : string option; network_model : string option; has_xml_target : bool; + needs_external_kernel : bool; } val probe : ?verbose:bool -> string -> template_info