In your situation some extended information might be useful as well.
The tool which actually converts between various formats of device tree files is the device tree compiler, “dtc”. This tool is architecture independent and does not require any changes to operate on different architectures. The tool on a desktop PC works perfectly with files being shared across architectures. You can install this directly, and you might already have it in your path.
The kernel source also ships with this, and if you build a device tree there, the kernel simply compiles dtc and then puts the device tree together after taking into account which dts and dtsi files are named in your config. The dtc which comes with the kernel is the same as what you might install separately, and I’ve not seen version changes in a very long time.
The kernel target to build a device tree binary is “make dtbs” (though you’d probably want to use other options to build in a separate location and not pollute the local kernel source). The dtbs target is completely independent of the kernel build, but the two arrive together because the kernel drivers are what use the device tree…if you do or don’t build a particular component, then you will or will not need the related device tree code (this separates drivers from hardware-dependent arguments). Always configure for the kernel you are using before building the device tree target. You might need some extra package installed to build dtbs target in the kernel, but I don’t recall off hand which extra package might be needed.
dtc can convert between formats. “.dtb” is binary, “.dts” is source. The filesystem can also represent this as a tree of directories. Some examples:
# Extract source from a running system, create the source from the running kernel:
dtc -I fs -O dts -o extracted.dts /proc/device-tree
# Convert a dtb to a dts:
dtc -I dtb -O dts -o source.dts original.dtb
# Compile a dts to dtb:
dtc -I dts -O dtb -o new.dtb original.dts
If you happen to have a device tree binary in your flash software area (somewhere in a subdirectory of “Linux_for_Tegra/” (some content exists in both the “kernel/” and “bootloader/” subdirectory), then rather than going through the full kernel rebuild you can just convert the binary to source, edit, and then recompile back to binary (and presumably backing up the original, followed by copying the edit over the original).
You will find that the device tree reported in “/proc/device-tree/” is mostly a match for what is flashed, but this is not 100%. The reason is that the tree is used in earlier boot stages, and CBoot will edit this slightly prior to passing it on to the Linux kernel. This is also why the device tree is no longer a simple file copy…earlier boot stages do not know how to read the ext4 filesystem, plus signing is performed. If you do replace a dtb and signing is not correct, then the dtb would be rejected. You shouldn’t have issues with signing if you follow the docs to place the tree in the right place and then use the flash.sh tool to install the tree.