Tool/software: Linux
I had a lot of device tree overlays when I was developing against the linux kernel 4.9.78-ti-r94, using a Debian strecth distro. Those overlays took care of PRU, LCD display and encoders pin muxing. I managed the loading of these overlays through a uEnv.txt file located at /boot/uEnv.txt under the filesystem partition.
But now, I migrated to the TI SDK 05.02.00.10, which uses linux kernel 4.14.79-gbde58ab01e and an Arago 2018.10 distro. I would like to know how these pin muxing stuff is dealt with in this particular kernel and distro. I noticed that even the device tree compiler (dtc) is missing, so I have no clue about how to compile my previous .dts files into .dtbo files and how to load these .dtbo files into the kernel at boot time.
Regards,
Bruno.