We face issues with configuration of the environment before we can try booting the kernel. We also have unresolved issues with the Real Time Clock; these may be hardware-related.
We’re now looking into how u-boot uses information from the Device Tree Binary file in order to map external peripherals. TI’s distribution in the SDK includes Device Tree Source files, but not the equivalent binaries. Any links to information on this topic would be greatly appreciated.
Thanks,