vc4/hdmi: Update MAI_THR for D0
[platform/kernel/linux-rpi.git] / drivers / soc / xilinx / Makefile
1 # SPDX-License-Identifier: GPL-2.0
2 obj-$(CONFIG_ZYNQMP_POWER)      += zynqmp_power.o
3 obj-$(CONFIG_XLNX_EVENT_MANAGER)        += xlnx_event_manager.o