You could refer to the flash log, it would tell you which pinmux file are using.
You could run the following command on the device to check current pinmux setting.
# cat /sys/kernel/debug/pinctrl/2430000.pinmux/pinconf-groups
You could refer to the flash log, it would tell you which pinmux file are using.
You could run the following command on the device to check current pinmux setting.
# cat /sys/kernel/debug/pinctrl/2430000.pinmux/pinconf-groups