1# FPGA driver configuration options
2
3# Copyright (c) 2021-2022 Antmicro <www.antmicro.com>
4# SPDX-License-Identifier: Apache-2.0
5
6menuconfig FPGA
7	bool "Field-Programmable Gate Array (FPGA) drivers"
8	help
9	  Enable support for FPGA drivers.
10
11if FPGA
12
13module = fpga
14module-str = fpga
15source "subsys/logging/Kconfig.template.log_config"
16
17config FPGA_INIT_PRIORITY
18	int "Init priority"
19	default 75
20	help
21	  FPGA device drivers initialization priority
22
23config FPGA_SHELL
24	bool "FPGA Shell"
25	depends on SHELL && FPGA
26	help
27	  Enable FPGA Shell support.
28
29source "drivers/fpga/Kconfig.eos_s3"
30source "drivers/fpga/Kconfig.ice40"
31source "drivers/fpga/Kconfig.zynqmp"
32
33endif # FPGA
34