Re: [PATCH v3 08/12] pinctrl: rp1: Implement RaspberryPi RP1 gpio support

[Linus Walleij <linus.walleij@xxxxxxxxxx>]

On Mon, Oct 28, 2024 at 3:07 PM Andrea della Porta
<andrea.porta@xxxxxxxx> wrote:

> +config PINCTRL_RP1
> +       bool "Pinctrl driver for RP1"
> +       select PINMUX
> +       select PINCONF
> +       select GENERIC_PINCONF
> +       select GPIOLIB
> +       select GPIOLIB_IRQCHIP

Just a quick thing:

You don't happen to want:
depends on MISC_RP1
default MISC_RP1

So it will always come in tandem with
MISC_RP1?

Yours,
Linus Walleij