| # HW spinlock configuration options | |
| # Copyright (c) 2023 Sequans Communications. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| menuconfig HWSPINLOCK | |
| bool "HW spinlock Support" | |
| help | |
| Include support for HW spinlock. | |
| if HWSPINLOCK | |
| config HWSPINLOCK_INIT_PRIORITY | |
| int "HW spinlock init priority" | |
| default KERNEL_INIT_PRIORITY_DEVICE | |
| help | |
| HW spinlock driver device initialization priority. | |
| source "drivers/hwspinlock/Kconfig.sqn" | |
| endif |