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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
