Could not found tegra19x-p2888_galen_devkit-pinmux.dtsi or tegra19x-p2888_galen_devkit-gpio-default.dtsi

I’m looking into how to change the pinmux, I saw there a script can change the .cfg file.
Example:
python pinmux-dts2cfg.py
–pinmux
addr_info.txt gpio_addr_info.txt por_val.txt
–mandatory_pinmux_file mandatory_pinmux.txt
tegra19x-p2888_galen_devkit-pinmux.dtsi
tegra19x-p2888_galen_devkit-gpio-default.dtsi
1.0
> galen.cfg
But I could not found tegra19x-p2888_galen_devkit-pinmux.dtsi or tegra19x-p2888_galen_devkit-gpio-default.dtsi. Where should I find these things ?

hello chester.tseng,

please access Pinmux spreadsheets from download center.
you’ll need to have customization, and click ‘Generate DT File’ button to create those files.
thanks