diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/arm.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/arm.mk b/config/arm.mk index f64f0c1c83..f20fd2db0b 100644 --- a/config/arm.mk +++ b/config/arm.mk @@ -16,3 +16,9 @@ LDFLAGS_DIRECT_Linux = _linux LDFLAGS_DIRECT += -marmelf$(LDFLAGS_DIRECT_$(XEN_OS))_eabi CONFIG_LOAD_ADDRESS ?= 0x80000000 + +# XXX: When running on the model there is no bootloader to provide a +# device tree. It must be linked into Xen. +ifndef CONFIG_DTB_FILE +$(error CONFIG_DTB_FILE must be set to the absolute filename of a DTB) +endif |