cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

Kconfig (577B)

      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.