does seL4 support NVIDIA Jetson Tx2 board ?
5 Oct
2017
5 Oct
'17
2:23 p.m.
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.
3085
Age (days ago)
3092
Last active (days ago)
9 comments
5 participants
participants (5)
-
ashokk＠spanidea.com -
Hesham.Almatary＠data61.csiro.au -
Kofidoku.Atuah＠data61.csiro.au -
Mike Clark -
Muneeswaran Rajendran