Pinmux / pinctrl from Kernel?

Linux Kernel
1

Is there a driver to change the hps pinmux from the kernel ?

Thanks,
Clement

2

Find it:

  pmx_core: pinmux@ffd08400 {
  	compatible = "pinctrl-single";
  	reg = <0xffd08400 0x33C>; //207 pins
  	#address-cells = <1>;
  	#size-cells = <0>;
  	pinctrl-single,register-width = <32>;
  	pinctrl-single,function-mask = <0x3>;

  	/* map i2c0 to FPGA */
  	i2c0_pins: pinmux_i2c0_pins {
  		pinctrl-single,pins = <
  			0x304 0x1 /* I2C0USEFPGA */
  		>;
  	};
  };

And to call the pinctrl

&i2c0 {
status = “okay”;
pinctrl-names = “default”;
pinctrl-0 = <&i2c0_pins>;
};