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 <undefinedspace@gmail.com
> <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,  <ashokk@spanidea.com

>     <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