1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2022, Intel Corporation
3
4config IPM_STM32_IPCC
5	bool "STM32 IPCC controller"
6	default y
7	depends on DT_HAS_ST_STM32_IPCC_MAILBOX_ENABLED
8	select USE_STM32_LL_IPCC
9	help
10	  Driver for stm32 IPCC mailboxes
11
12config IPM_STM32_IPCC_PROCID
13	int "STM32 IPCC Processor ID"
14	default 2
15	range 1 2
16	depends on IPM_STM32_IPCC
17	help
18	  use to define the Processor ID for IPCC access
19
20config IPM_STM32_HSEM
21	bool "STM32 HSEM controller"
22	default y
23	depends on DT_HAS_ST_STM32_HSEM_MAILBOX_ENABLED
24	help
25	  Driver for stm32 HSEM mailbox
26
27config IPM_STM32_HSEM_CPU
28	int "HSEM CPU ID"
29	default 1 if "$(dt_nodelabel_enabled,cpu0)"
30	default 2 if "$(dt_nodelabel_enabled,cpu1)"
31	range 1 2
32	depends on IPM_STM32_HSEM
33	help
34	  use to define the CPU ID used by HSEM
35