acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / asrock / fatal1ty_z87_professional / Makefile.mk
blob93f729d787c24e0de7594c360ea6f66d9023148c
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 bootblock-y += bootblock.c
4 bootblock-y += gpio.c
5 romstage-y += gpio.c
6 ramstage-$(CONFIG_MAINBOARD_USE_LIBGFXINIT) += gma-mainboard.ads