Hi,

I've recently received the Industrial Development Kit TMDXIDK5728
from Texas Instruments, with the AM5728 soc on it, and would like to
boot a linux kernel with barebox.
I had a look through the barebox git repo and found the dts and dtsi
files for the IDK board, ported from the linux kernel repo.

My question is: is this board/soc really supported by barebox ?

giorgio