ARM64: dts: rk3399-box-rev2: enable hdmi uboot logo display
[firefly-linux-kernel-4.4.55.git] / arch / arm / mach-keystone / Makefile
1 obj-y                                   := keystone.o smc.o
2
3 plus_sec := $(call as-instr,.arch_extension sec,+sec)
4 AFLAGS_smc.o                            :=-Wa,-march=armv7-a$(plus_sec)
5
6 obj-$(CONFIG_SMP)                       += platsmp.o
7
8 # PM domain driver for Keystone SOCs
9 obj-$(CONFIG_ARCH_KEYSTONE)             += pm_domain.o