drivers/acpi/apei/Makefile - third_party/linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 obj-$(CONFIG_ACPI_APEI)		+= apei.o
 obj-$(CONFIG_ACPI_APEI_GHES)	+= ghes.o
 obj-$(CONFIG_ACPI_APEI_EINJ)	+= einj.o
 obj-$(CONFIG_ACPI_APEI_ERST_DEBUG) += erst-dbg.o

 apei-y := apei-base.o hest.o erst.o bert.o
	# SPDX-License-Identifier: GPL-2.0
	obj-$(CONFIG_ACPI_APEI) += apei.o
	obj-$(CONFIG_ACPI_APEI_GHES) += ghes.o
	obj-$(CONFIG_ACPI_APEI_EINJ) += einj.o
	obj-$(CONFIG_ACPI_APEI_ERST_DEBUG) += erst-dbg.o

	apei-y := apei-base.o hest.o erst.o bert.o