Before revision: With the small TCB of an type 1 embedded hypervisor, the system can be made highly secure & reliable.
After revision: With the small TCB of a type 1 embedded hypervisor, the system can be made highly secure & reliable.