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


      1# SPDX-License-Identifier: GPL-2.0
      2choice
      3	prompt "Machine type"
      4	depends on MACH_VR41XX
      5	default TANBAC_TB022X
      6
      7config CASIO_E55
      8	bool "CASIO CASSIOPEIA E-10/15/55/65"
      9	select CEVT_R4K
     10	select CSRC_R4K
     11	select DMA_NONCOHERENT
     12	select IRQ_MIPS_CPU
     13	select ISA
     14	select SYS_SUPPORTS_32BIT_KERNEL
     15	select SYS_SUPPORTS_LITTLE_ENDIAN
     16
     17config IBM_WORKPAD
     18	bool "IBM WorkPad z50"
     19	select CEVT_R4K
     20	select CSRC_R4K
     21	select DMA_NONCOHERENT
     22	select IRQ_MIPS_CPU
     23	select ISA
     24	select SYS_SUPPORTS_32BIT_KERNEL
     25	select SYS_SUPPORTS_LITTLE_ENDIAN
     26
     27config TANBAC_TB022X
     28	bool "TANBAC VR4131 multichip module and TANBAC VR4131DIMM"
     29	select CEVT_R4K
     30	select CSRC_R4K
     31	select DMA_NONCOHERENT
     32	select IRQ_MIPS_CPU
     33	select HAVE_PCI
     34	select SYS_SUPPORTS_32BIT_KERNEL
     35	select SYS_SUPPORTS_LITTLE_ENDIAN
     36	help
     37	  The TANBAC VR4131 multichip module(TB0225) and
     38	  the TANBAC VR4131DIMM(TB0229) are MIPS-based platforms
     39	  manufactured by TANBAC.
     40	  Please refer to <http://www.tanbac.co.jp/>
     41	  about VR4131 multichip module and VR4131DIMM.
     42
     43config VICTOR_MPC30X
     44	bool "Victor MP-C303/304"
     45	select CEVT_R4K
     46	select CSRC_R4K
     47	select DMA_NONCOHERENT
     48	select IRQ_MIPS_CPU
     49	select HAVE_PCI
     50	select PCI_VR41XX
     51	select SYS_SUPPORTS_32BIT_KERNEL
     52	select SYS_SUPPORTS_LITTLE_ENDIAN
     53
     54config ZAO_CAPCELLA
     55	bool "ZAO Networks Capcella"
     56	select CEVT_R4K
     57	select CSRC_R4K
     58	select DMA_NONCOHERENT
     59	select IRQ_MIPS_CPU
     60	select HAVE_PCI
     61	select PCI_VR41XX
     62	select SYS_SUPPORTS_32BIT_KERNEL
     63	select SYS_SUPPORTS_LITTLE_ENDIAN
     64
     65endchoice
     66
     67choice
     68	prompt "Base board type"
     69	depends on TANBAC_TB022X
     70	default TANBAC_TB0287
     71
     72config TANBAC_TB0219
     73	bool "TANBAC DIMM Evaluation Kit(TB0219)"
     74	select GPIO_VR41XX
     75	select PCI_VR41XX
     76	help
     77	  The TANBAC DIMM Evaluation Kit(TB0219) is a MIPS-based platform
     78	  manufactured by TANBAC.
     79	  Please refer to <http://www.tanbac.co.jp/> about DIMM Evaluation Kit.
     80
     81config TANBAC_TB0226
     82	bool "TANBAC Mbase(TB0226)"
     83	select GPIO_VR41XX
     84	select PCI_VR41XX
     85	help
     86	  The TANBAC Mbase(TB0226) is a MIPS-based platform
     87	  manufactured by TANBAC.
     88	  Please refer to <http://www.tanbac.co.jp/> about Mbase.
     89
     90config TANBAC_TB0287
     91	bool "TANBAC Mini-ITX DIMM base(TB0287)"
     92	select PCI_VR41XX
     93	help
     94	  The TANBAC Mini-ITX DIMM base(TB0287) is a MIPS-based platform
     95	  manufactured by TANBAC.
     96	  Please refer to <http://www.tanbac.co.jp/> about Mini-ITX DIMM base.
     97
     98endchoice
     99
    100config PCI_VR41XX
    101	bool "Add PCI control unit support of NEC VR4100 series"
    102	depends on MACH_VR41XX && HAVE_PCI
    103	default y
    104	select PCI