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, <ash...@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 > _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
