new gpio (change of pinmux)

Hello,

I’ve seen in documentation description how to create dtsi files for new board’s pinmux, which are then used for creation of .cfg files.
But I don’t see in this procedure that the same files are used for u-boot/kernel , as normally these is used with dts files.

Does it mean that the change in kernel dts is done manually ?

Thank you,
ranran

In newer releases the device tree is in a partition and must be added through the flash software. In older releases it was just a file copy. The issue is that currently early boot stages need access to the tree, but those stages do not read the ext4 file system type.