# SPDX-License-Identifier: GPL-2.0-only
#
################################################################################
#
# Driver for Xilinx network controllers and boards
# Copyright 2019-2021 Xilinx Inc.
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License version 2 as published
# by the Free Software Foundation, incorporated herein by reference.
#
#################################################################################
#
# Xilinx device configuration
#


config XILINX_EFCT
	tristate "Xilinx X3 support"
	depends on PCI && (X86 || ARCH_DMA_ADDR_T_64BIT)
	default m
	select NET_DEVLINK
	select AUXILIARY_BUS
	select MDIO
	select CRC32
	help
	  It also supports 10/25/40/50/100-gigabit Ethernet cards based
	  on the Xilinx X3 networking IP in Xilinx FPGAs.
	  To compile this driver as a module, choose M here.  The module
	  will be called xilinx.

config XILINX_MCDI_LOGGING
	bool "Xilinx MCDI logging support"
	depends on XILINX_EFCT
	default n
	help
	  This enables support for tracing of MCDI (Management-Controller-to-
	  Driver-Interface) commands and responses, allowing debugging of
	  driver/firmware interaction.

config XILINX_PTP
	bool "PTP support"
	depends on XILINX_EFCT
	default y
	select PTP_1588_CLOCK
	help
	  This enables support for the Precision Time Protocol.
