[seL4] Re: Jetson AGX Xavier board porting

There haven't been any released ports for the Jetson AGX Xavier board and I'm not aware of any in progress. Kent. On Fri, 16 Jul 2021, 16:38 , <bobding@msn.com> wrote:

Has anyone ported to Nvidia AGX Xavier board? _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems