I'm following the directions on:
https://wiki.trenz-electronic.de/display/PD/TE0803+StarterKit#TE0803StarterKit-Programming
And there is a section named Device Tree, where there is some text apparently to copy-paste, but in what dts/ dtsi file?
Regards
Update: I put that into system-user.dtsi and got a booting Linux