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
