Hello,
I run tz_vmm demo on USB Armory as described in this Article http://genode.org/documentation/articles/usb_armory
it displays log messages (see on the attached ) and hangs. The tz_vmm start the virtual machine (Linux) but I couldn't get a Linux shell to run Linux commands so i have no chance to access the root file system on the SD_card (non-secure). it could be a ridiculous question but please tell me what is missing?
Thanks, John