The latest development version of this page may be more current than this released 1.14.0 version.

CONFIG_RV32M1_INTMUX_INIT_PRIORITY¶

INTMUX driver initialization priority

Type: int

Help¶

Boot time initialization priority for INTMUX driver. Don’t change the default unless you know what you are doing.

Direct dependencies¶

RV32M1_INTMUX

(Includes any dependencies from if’s and menus.)

Defaults¶

60 if RV32M1_INTMUX

Kconfig definition¶

At drivers/interrupt_controller/Kconfig.rv32m1:19

Included via Kconfig:10 → Kconfig.zephyr:35 → drivers/Kconfig:24 → drivers/interrupt_controller/Kconfig:165

Menu path: (top menu) → Device Drivers → Interrupt Controllers

config RV32M1_INTMUX_INIT_PRIORITY
    int
    prompt "INTMUX driver initialization priority" if RV32M1_INTMUX
    default 60 if RV32M1_INTMUX
    depends on RV32M1_INTMUX
    help
      Boot time initialization priority for INTMUX driver.
      Don't change the default unless you know what you are doing.

(Definitions include propagated dependencies, including from if’s and menus.)