17 May
2016
17 May
'16
3:09 p.m.
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