Genode freezes on USB Armory

[Martin Stein]

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