xen: arm: make dom0 builder work on 64-bit hypervisor
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:58:11 +0000 (08:58 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:54 +0000 (12:14 +0000)
commit724a1b963b684c82905291e0bec70158fb415755
treeb1262e41a3ef1fc8cd8362d744953bcf671b09ab
parentb262f2a6804177df61e2d5a747eece1eae92c9db
xen: arm: make dom0 builder work on 64-bit hypervisor

This still only builds a 32-bit dom0, although it lays a bit of
simple ground work for 64-bit dom0.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/arch/arm/domain_build.c