xref: /linux/drivers/cdx/controller/Kconfig (revision 4e4d9c72c946b77f0278988d0bf1207fa1b2cd0f)
1# SPDX-License-Identifier: GPL-2.0-only
2#
3# CDX controller configuration
4#
5# Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
6#
7
8if CDX_BUS
9
10config CDX_CONTROLLER
11	tristate "CDX bus controller"
12	select GENERIC_MSI_IRQ
13	select REMOTEPROC
14	select RPMSG
15	help
16	  CDX controller drives the CDX bus. It interacts with
17	  firmware to get the hardware devices and registers with
18	  the CDX bus. Say Y to enable the CDX hardware driver.
19
20	  If unsure, say N.
21
22endif
23