1# SPDX-License-Identifier: GPL-2.0-only
2# Abilis Systems TB10x platform kernel configuration file
3#
4# Author: Christian Ruppert <christian.ruppert@abilis.com>
5#
6
7
8menuconfig ARC_PLAT_TB10X
9	bool "Abilis TB10x"
10	select PINCTRL
11	select PINCTRL_TB10X
12	select PINMUX
13	select GPIOLIB
14	select GPIO_TB10X
15	select TB10X_IRQC
16	help
17	  Support for platforms based on the TB10x home media gateway SOC by
18	  Abilis Systems. TB10x is based on the ARC700 CPU architecture.
19	  Say Y if you are building a kernel for one of the SOCs in this
20	  series (e.g. TB100 or TB101). If in doubt say N.
21