Hi, On Sun, 2018-02-04 at 13:16 +0100, Giorgio Dal Molin wrote: > 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 ? No, barebox currently only supports the AM335x from the industrial IT SoC series (found for example on the beaglebone). There is no code for the AM4* and AM5* SoCs. Regards, Jan -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox