2017-11-01 15:07:57 +01:00
|
|
|
# SPDX-License-Identifier: GPL-2.0
|
2008-12-01 00:09:47 -05:00
|
|
|
#
|
|
|
|
|
# Makefile for linux/drivers/platform
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
obj-$(CONFIG_X86) += x86/
|
2022-10-12 16:36:20 +08:00
|
|
|
obj-$(CONFIG_LOONGARCH) += loongarch/
|
2018-01-17 18:21:53 +00:00
|
|
|
obj-$(CONFIG_MELLANOX_PLATFORM) += mellanox/
|
2015-03-29 10:54:09 +08:00
|
|
|
obj-$(CONFIG_MIPS) += mips/
|
2019-05-13 09:56:37 +02:00
|
|
|
obj-$(CONFIG_OLPC_EC) += olpc/
|
2013-01-21 23:48:07 +00:00
|
|
|
obj-$(CONFIG_GOLDFISH) += goldfish/
|
2013-11-07 14:25:45 -08:00
|
|
|
obj-$(CONFIG_CHROME_PLATFORMS) += chrome/
|
2024-07-01 13:30:04 +02:00
|
|
|
obj-$(CONFIG_CZNIC_PLATFORMS) += cznic/
|
2020-10-09 16:11:24 +02:00
|
|
|
obj-$(CONFIG_SURFACE_PLATFORMS) += surface/
|
2024-06-24 18:08:12 +03:00
|
|
|
obj-$(CONFIG_ARM64_PLATFORM_DEVICES) += arm64/
|
2025-10-29 16:00:10 +05:30
|
|
|
obj-$(CONFIG_BCM2835_VCHIQ) += raspberrypi/
|
2025-11-11 14:11:25 +01:00
|
|
|
obj-$(CONFIG_ACPI_WMI) += wmi/
|
