Running multiple VMs under ARM and C++ under SeL4?
2 Jun
2017
2 Jun
'17
2:41 a.m.
Does the ARM VMM currently support running multiple virtual machines. Also, as a side question, how hard would it be to compile general C++ code that makes heavy use of the standard template library for use in a camkes component? I assume this would be non-trivial? - John
3218
Age (days ago)
3219
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adrian.Danis＠data61.csiro.au -
John Backes