It does not support the TX2 currently. Only the TK1 from the jetson line is supported.
Mike
On Thu, Oct 5, 2017 at 8:23 AM, ashokk@spanidea.com wrote:
Hi ,
I am newbie to sel4 and currently working on one hobby project.I want to bring sel4 kernel on TX2 board. Can you guide me that is there any support available for tx2 for .
If yes then provide some docs related to that.
Thank you.
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel