Kconfig

 1# SPDX-License-Identifier: GPL-2.0-only
 2menu "fujitsu SoC drivers"
 3
 4config A64FX_DIAG
 5	bool "A64FX diag driver"
 6	depends on ARM64
 7	depends on ACPI
 8	help
 9	  Say Y here if you want to enable diag interrupt on Fujitsu A64FX.
10	  This driver enables BMC's diagnostic requests and enables
11	  A64FX-specific interrupts. This allows administrators to obtain
12	  kernel dumps via diagnostic requests using ipmitool, etc.
13
14	  If unsure, say N.
15
16endmenu