zephyr/drivers/interrupt_controller/Kconfig.shared_irq
Ulf Magnusson 13cb4cbb5f drivers: interrupt_controller: Remove redundant 'default n' properties
Bool symbols implicitly default to 'n'.

A 'default n' can make sense e.g. in a Kconfig.defconfig file, if you
want to override a 'default y' on the base definition of the symbol. It
isn't used like that on any of these symbols though, and is
inconsistent.

This will make the auto-generated Kconfig documentation have "No
defaults. Implicitly defaults to n." as well, which is clearer than
'default n if ...'

Signed-off-by: Ulf Magnusson <Ulf.Magnusson@nordicsemi.no>
2018-07-03 17:11:31 -04:00

138 lines
3.1 KiB
Plaintext

# Kconfig - shared_irq configuration options
#
# Copyright (c) 2015 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0
#
menuconfig SHARED_IRQ
bool
prompt "Shared interrupt driver"
help
Include shared interrupt support in system. Shared interrupt
support is NOT required in most systems. If in doubt answer no.
config SHARED_IRQ_NUM_CLIENTS
int
depends on SHARED_IRQ
prompt "The number of clients per instance"
default 5
help
Configures the maximum number of clients allowed per shared
instance of the shared interrupt driver. To conserve RAM set
this value to the lowest practical value.
config SHARED_IRQ_INIT_PRIORITY
int
depends on SHARED_IRQ
default 45
prompt "Shared IRQ init priority"
help
Shared IRQ are initialized on POST_KERNEL init level. They
have to be initialized before any device that uses them.
config SHARED_IRQ_0
bool "Shared interrupt instance 0"
depends on SHARED_IRQ
help
Provide an instance of the shared interrupt driver when system
configuration requires that multiple devices share an interrupt.
config SHARED_IRQ_0_NAME
string "Select a name for the device"
depends on SHARED_IRQ_0
default "SHARED_IRQ0"
config SHARED_IRQ_0_IRQ
int "instance 0 interrupt"
depends on SHARED_IRQ_0
help
System interrupt number to be handled by this instance of the driver.
config SHARED_IRQ_0_PRI
int "instance 0 interrupt priority"
default 2
depends on SHARED_IRQ_0
help
Priority of shared interrupt handler for the configured interrupt
choice
depends on SHARED_IRQ_0
prompt "Shared IRQ #0 Trigger Condition"
default SHARED_IRQ_0_RISING_EDGE
config SHARED_IRQ_0_FALLING_EDGE
bool "Falling Edge"
help
Interrupt triggers on falling edge.
config SHARED_IRQ_0_RISING_EDGE
bool "Rising Edge"
help
Interrupt triggers on rising edge.
config SHARED_IRQ_0_LEVEL_HIGH
bool "Level High"
help
Interrupt triggers when level is high.
config SHARED_IRQ_0_LEVEL_LOW
bool "Level Low"
help
Interrupt triggers when level is low.
endchoice
config SHARED_IRQ_1
bool "Shared interrupt instance 1"
depends on SHARED_IRQ
help
Provide an instance of the shared interrupt driver when system
configuration requires that multiple devices share an interrupt.
config SHARED_IRQ_1_NAME
string "Select a name for the device"
depends on SHARED_IRQ_1
default "SHARED_IRQ1"
config SHARED_IRQ_1_IRQ
int "instance 1 interrupt"
depends on SHARED_IRQ_1
help
System interrupt number to be handled by this instance of the driver.
config SHARED_IRQ_1_PRI
int "instance 1 interrupt priority"
default 2
depends on SHARED_IRQ_1
help
Priority of shared interrupt handler for the configured interrupt
choice
depends on SHARED_IRQ_1
prompt "Shared IRQ #1 Trigger Condition"
default SHARED_IRQ_1_RISING_EDGE
config SHARED_IRQ_1_FALLING_EDGE
bool "Falling Edge"
help
Interrupt triggers on falling edge.
config SHARED_IRQ_1_RISING_EDGE
bool "Rising Edge"
help
Interrupt triggers on rising edge.
config SHARED_IRQ_1_LEVEL_HIGH
bool "Level High"
help
Interrupt triggers when level is high.
config SHARED_IRQ_1_LEVEL_LOW
bool "Level Low"
help
Interrupt triggers when level is low.
endchoice