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