-
René Nussbaumer authored
This is needed so we can specify the xen command upon configure time Signed-off-by: René Nussbaumer <rn@google.com> Reviewed-by: Iustin Pop <iustin@google.com>
1eb37421
This is needed so we can specify the xen command upon configure time Signed-off-by: René Nussbaumer <rn@google.com> Reviewed-by: Iustin Pop <iustin@google.com>