barebox support for the TI IDK board

[Giorgio Dal Molin]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 898 bytes
Desc: OpenPGP digital signature
URL: <http://lists.infradead.org/pipermail/barebox/attachments/20180204/6ae2c63e/attachment.sig>