diff options
Diffstat (limited to 'system/arm/dt/Makefile')
| -rw-r--r-- | system/arm/dt/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/system/arm/dt/Makefile b/system/arm/dt/Makefile index 62cf65f27..a162b9fd1 100644 --- a/system/arm/dt/Makefile +++ b/system/arm/dt/Makefile @@ -50,6 +50,8 @@ GEN_DTS=mkdir -p .gen; \ all: $(TARGETS) +platforms/vexpress_gem5_v1.dtsi: platforms/vexpress_gem5_v1_base.dtsi + .gen/armv7_gem5_v1_%cpu.dts: armv7.dts platforms/vexpress_gem5_v1.dtsi $(call GEN_DTS,vexpress_gem5_v1.dtsi,$*) |