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
Description: OpenPGP digital signature
_______________________________________________ barebox mailing list firstname.lastname@example.org http://lists.infradead.org/mailman/listinfo/barebox