Re: [seL4] does seL4 support NVIDIA Jetson Tx2 board ?

Hi all, On 06/10/17 03:00, Muneeswaran Rajendran wrote:

Hi Mike,

Thanks for your input. But I observed in the latest SEL4 kernel it has option to choose TX1 in the platform list to build. can you please let me know if any development happened on TX1 platform.

TX1 is supported by seL4 as an aarch64 platform. You can run sel4test on it. We don't have support for TX2 board yet. Cheers, Hesham

Regards, Muneeswaran R 

On Thu, Oct 5, 2017 at 6:00 PM, Mike Clark mailto:undefinedspace@gmail.com> wrote:

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,  mailto: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 https://sel4.systems/lists/listinfo/devel >

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel