1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2023 Intel Corporation
3
4config IPM_SEDI
5	bool "Intel SEDI IPM Driver"
6	default y if DT_HAS_INTEL_SEDI_IPM_ENABLED
7	select IPM_CALLBACK_ASYNC
8	help
9	  This option enables the Intel SEDI IPM(IPC) driver.
10	  This driver is simply a shim driver built upon the SEDI
11	  bare metal IPC driver in the hal-intel module
12