1# SPDX-License-Identifier: GPL-2.0-only
2if X86
3source "drivers/platform/x86/Kconfig"
4endif
5if MIPS
6source "drivers/platform/mips/Kconfig"
7endif
8
9source "drivers/platform/goldfish/Kconfig"
10
11source "drivers/platform/chrome/Kconfig"
12
13source "drivers/platform/mellanox/Kconfig"
14
15source "drivers/platform/olpc/Kconfig"
16
17source "drivers/platform/surface/Kconfig"
18