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 (1267B)


      1# SPDX-License-Identifier: GPL-2.0-only
      2#
      3# Copyright (C) 2013-15 Synopsys, Inc. (www.synopsys.com)
      4#
      5
      6menuconfig ARC_PLAT_AXS10X
      7	bool "Synopsys ARC AXS10x Software Development Platforms"
      8	select DW_APB_ICTL
      9	select GPIO_DWAPB
     10	select OF_GPIO
     11	select HAVE_PCI
     12	select GENERIC_IRQ_CHIP
     13	select GPIOLIB
     14	select AXS101 if ISA_ARCOMPACT
     15	select AXS103 if ISA_ARCV2
     16	help
     17	  Support for the ARC AXS10x Software Development Platforms.
     18
     19	  The AXS10x Platforms consist of a mainboard with peripherals,
     20	  on which several daughter cards can be placed. The daughter cards
     21	  typically contain a CPU and memory.
     22
     23if ARC_PLAT_AXS10X
     24
     25config AXS101
     26	depends on ISA_ARCOMPACT
     27	bool "AXS101 with AXC001 CPU Card (ARC 770D/EM6/AS221)"
     28	help
     29	  This adds support for the 770D/EM6/AS221 CPU Card. Only the ARC
     30	  770D is supported in Linux.
     31
     32	  The AXS101 Platform consists of an AXS10x mainboard with
     33	  this daughtercard. Please use the axs101.dts device tree
     34	  with this configuration.
     35
     36config AXS103
     37	bool "AXS103 with AXC003 CPU Card (ARC HS38x)"
     38	depends on ISA_ARCV2
     39	help
     40	  This adds support for the HS38x CPU Card.
     41
     42	  The AXS103 Platform consists of an AXS10x mainboard with
     43	  this daughtercard. Please use the axs103.dts device tree
     44	  with this configuration.
     45
     46endif