Hi Dan, We use both the Jetson TK1 and TK1-SOM internally.
Adrian On Sat 03-Jun-2017 6:38 AM, Daniel Wang wrote: Sorry one more question: Can the Jetson TK1 (or other cheaper board) being used for running Linux Virtualization on top of seL4? I’m not familiar with TK1 board, it is kind of costly, and it has a NVIDIA Tegra K1 GPU. For using seL4 as a microvisor, I assume we only need a board to support ARM Virtualization Extension right? Or is there any other requirements have to be fulfilled? Thanks -Dan On Jun 2, 2017, at 11:21 AM, John Backes <[email protected]<mailto:[email protected]>> wrote: TK1-SOM _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
