Hi Andre, On 22/11/16 15:09, Andre Przywara wrote:
diff --git a/configure.ac b/configure.ac index ab8f5b3..f7e24c7 100644 --- a/configure.ac +++ b/configure.ac @@ -40,6 +40,18 @@ AC_ARG_WITH([dtb], AS_HELP_STRING([--with-dtb], [Specify a particular DTB to use]), [KERN_DTB="$withval"])+AC_ARG_WITH([xen], + AS_HELP_STRING([--with-xen], [Compile for Xen, and Specify a particular Xen to use]),
NIT: s/Specify/specify/ Reviewed-by: Julien Grall <julien.gr...@arm.com> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
