## SPDX-License-Identifier: GPL-2.0-only ## ## ## Copyright (c) 2012 Google Inc. ## ## Redistribution and use in source and binary forms, with or without ## modification, are permitted provided that the following conditions ## are met: ## 1. Redistributions of source code must retain the above copyright ## notice, this list of conditions and the following disclaimer. ## 2. Redistributions in binary form must reproduce the above copyright ## notice, this list of conditions and the following disclaimer in the ## documentation and/or other materials provided with the distribution. ## 3. The name of the author may not be used to endorse or promote products ## derived from this software without specific prior written permission. ## ## THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND ## ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE ## IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ## ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE ## FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL ## DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS ## OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) ## HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT ## LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY ## OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF ## SUCH DAMAGE. ## config ARCH_X86 select LITTLE_ENDIAN select IO_ADDRESS_SPACE if ARCH_X86 config ENABLE_APIC bool "Enables the Local APIC" choice prompt "Interrupt Handling" default LOG_UNKNOWN_INTERRUPTS if ENABLE_APIC default DIE_ON_UNKNOWN_INTERRUPT config IGNORE_UNKNOWN_INTERRUPTS bool "Ignore unknown user defined interrupts" config LOG_UNKNOWN_INTERRUPTS bool "Logs unknown user defined interrupts to the console" config DIE_ON_UNKNOWN_INTERRUPT bool "Die if an unknown user defined interrupt is encountered" endchoice endif