CONFIG_ARM64_PSEUDO_NMI is not available for thedefaultarchitecture x86.
							 Result is shown for architecture arm64 
						
					Support for NMI-like interrupts
configname: CONFIG_ARM64_PSEUDO_NMI
Linux Kernel Configuration
└─>Kernel Features
└─>Support for NMI-like interrupts
In linux kernel since version 5.1 (release Date: 2019-05-05)
							Adds support for mimicking Non-Maskable Interrupts through the use of
						
GIC interrupt priority. This support requires version 3 or later of
ARM GIC.
							
						
This high priority configuration for interrupts needs to be
explicitly enabled by setting the kernel parameter
"irqchip.gicv3_pseudo_nmi" to 1.
							
						
If unsure, say N
							
						
						
					GIC interrupt priority. This support requires version 3 or later of
ARM GIC.
This high priority configuration for interrupts needs to be
explicitly enabled by setting the kernel parameter
"irqchip.gicv3_pseudo_nmi" to 1.
If unsure, say N
