1# HW spinlock configuration options
2
3# Copyright (c) 2023 Sequans Communications.
4# SPDX-License-Identifier: Apache-2.0
5
6menuconfig HWSPINLOCK
7	bool "HW spinlock Support"
8	help
9	  Include support for HW spinlock.
10
11if HWSPINLOCK
12
13config HWSPINLOCK_INIT_PRIORITY
14	int "HW spinlock init priority"
15	default KERNEL_INIT_PRIORITY_DEVICE
16	help
17	  HW spinlock driver device initialization priority.
18
19source "drivers/hwspinlock/Kconfig.sqn"
20
21endif
22