drivers/gpio/Kconfig.eos_s3

# EOS_S3 GPIO configuration options

# Copyright (c) 2020 Antmicro <www.antmicro.com>
# SPDX-License-Identifier: Apache-2.0

config GPIO_EOS_S3
	bool "EOS_S3 GPIO driver"
	depends on EOS_S3_HAL
	select HAS_DTS_GPIO
	help
	  Enable the EOS S3 gpio driver.