# SPDX-License-Identifier: GPL-2.0 # # Makefile for linux/drivers/platform # obj-$(CONFIG_X86) += x86/ obj-$(CONFIG_MIPS) += mips/ obj-$(CONFIG_OLPC) += olpc/ obj-$(CONFIG_GOLDFISH) += goldfish/ obj-$(CONFIG_CHROME_PLATFORMS) += chrome/ obj-$(CONFIG_MIKROTIK) += mikrotik/