1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for linux/drivers/platform 4# 5 6obj-$(CONFIG_X86) += x86/ 7obj-$(CONFIG_LOONGARCH) += loongarch/ 8obj-$(CONFIG_MELLANOX_PLATFORM) += mellanox/ 9obj-$(CONFIG_MIPS) += mips/ 10obj-$(CONFIG_OLPC_EC) += olpc/ 11obj-$(CONFIG_GOLDFISH) += goldfish/ 12obj-$(CONFIG_CHROME_PLATFORMS) += chrome/ 13obj-$(CONFIG_CZNIC_PLATFORMS) += cznic/ 14obj-$(CONFIG_SURFACE_PLATFORMS) += surface/ 15obj-$(CONFIG_ARM64_PLATFORM_DEVICES) += arm64/ 16obj-$(CONFIG_BCM2835_VCHIQ) += raspberrypi/ 17obj-$(CONFIG_ACPI_WMI) += wmi/ 18