# Kconfig.pulpino - pulpino GPIO configuration option
#
# Copyright (c) 2016 Jean-Paul Etienne <fractalclone@gmail.com>
#
# SPDX-License-Identifier: Apache-2.0
#

menuconfig GPIO_PULPINO
	bool "Pulpino GPIO controller driver"
	depends on GPIO && SOC_RISCV32_PULPINO
	default n
	help
	  Enable driver for the Pulpino GPIO controller.

	  Says n if not sure.