Am 17.05.2016 um 13:09 schrieb Martin Stein: > Just to be really clear, do you mean the initial Kernel that boots the > Genode hypervisor or the Kernel that is started by Genode in the Normal > World ([init -> tz_vmm] [vm] ...) ?
Sorry, I messed up terms: The "initial Kernel that boots the Genode hypervisor" *is* the hypervisor and it does not "boot" Genode but *drive* it. Simplified, my question is whether you're talking about the kernel started in the Secure World or the kernel started in the Normal World. Cheers, Martin ------------------------------------------------------------------------------ Mobile security can be enabling, not merely restricting. Employees who bring their own devices (BYOD) to work are irked by the imposition of MDM restrictions. Mobile Device Manager Plus allows you to control only the apps on BYO-devices by containerizing them, leaving personal data untouched! https://ad.doubleclick.net/ddm/clk/304595813;131938128;j _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
