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

      1# SPDX-License-Identifier: GPL-2.0-only
      2#
      3# ACPI Configuration for ARM64
      4#
      5
      6config ACPI_IORT
      7	bool
      8
      9config ACPI_GTDT
     10	bool
     11
     12config ACPI_AGDI
     13	bool "Arm Generic Diagnostic Dump and Reset Device Interface"
     14	depends on ARM_SDE_INTERFACE
     15	help
     16	  Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is
     17	  a standard that enables issuing a non-maskable diagnostic dump and
     18	  reset command.
     19
     20	  If set, the kernel parses AGDI table and listens for the command.