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 <john.backes@gmail.com> wrote:

TK1-SOM

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