Xen relies on DTB and we pass in a suitable device-tree so we don''t need to (and shouldn''t) pretend to be a Versatile Express here. We already don''t pass a machine ID to domU in the same way. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> --- xen/arch/arm/domain_build.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index 512d78c..1b74be7 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -385,7 +385,7 @@ int construct_dom0(struct domain *d) */ regs->r0 = 0; /* SBZ */ - regs->r1 = 2272; /* Machine NR: Versatile Express */ + regs->r1 = 0xffffffff; /* We use DTB therefore no machine id */ regs->r2 = kinfo.dtb_paddr; WRITE_CP32(SCTLR_BASE, SCTLR); -- 1.7.9.1