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
Hey John,
Am 18.12.2015 um 01:25 schrieb John David:
it displays log messages (see on the attached ) and hangs. The tz_vmm
Unfortunately, your mail has no attachment. Did you miss it?
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?
A shot in the dark: Which state of the Genode sources are you using? I recomend to use the 15.11 release state [1]. If you have a clone of the git repository, you can get this state by doing 'git checkout 15.11'.
I only just recognized that I did not mention this in the article. I'll try to fix that.
Hi,
On Fri, Dec 18, 2015 at 07:52:54AM +0100, Martin Stein wrote:
Am 18.12.2015 um 01:25 schrieb John David:
it displays log messages (see on the attached ) and hangs. The tz_vmm
Unfortunately, your mail has no attachment. Did you miss it?
Indeed the attachment got lost as David's first emails were blocked by Mailman. Find the log.txt attached to this mail.
Greets
Hi John,
Am 18.12.2015 um 09:05 schrieb Christian Helmuth:
kernel initialized Genode 15.08
As suspected, you're using a Genode version that is older than the one that is used in the article. Besides, we have fixed this lapse. The last chapter of the article now describes how to get the right version.
[init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in runlevel 2. [ ok -> tz_vmm] [vm] [....] Starting enhanced syslogd: rsyslogd. [ ok -> tz_vmm] [vm] [....] Starting periodic command scheduler: cron. [ ok -> tz_vmm] [vm] [....] Starting OpenBSD Secure Shell server: sshd. [init -> tz_vmm] [vm] [init -> tz_vmm] [vm] Debian GNU/Linux 7 usbarmory console [init -> tz_vmm] [vm]
However, in contrast to your assumption, this is already the Linux prompt. The old version is sufficient to reach this point. But, as indicated in the article, you can't enter commands through the serial console because the port that Linux uses is based on a para-virtualized driver that supports output only. This wont change with the version update. But the update introduces USB support in the VM Linux and thereby enables you to use the host communication methods described in the USB Armory Wiki [1].
Cheers, Martin
[1] https://github.com/inversepath/usbarmory/wiki/Host-communication
Hi Martin,
Thank you for your explanation. i want a command prompt to run a user mode program in Linux (normal world). Can you please suggest me if there is something i can do this?
thanks,
On Fri, Dec 18, 2015 at 11:51 AM, Martin Stein <martin.stein@...1...
wrote:
Hi John,
Am 18.12.2015 um 09:05 schrieb Christian Helmuth:
kernel initialized Genode 15.08
As suspected, you're using a Genode version that is older than the one that is used in the article. Besides, we have fixed this lapse. The last chapter of the article now describes how to get the right version.
[init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in
runlevel 2.
[ ok -> tz_vmm] [vm] [....] Starting enhanced syslogd: rsyslogd. [ ok -> tz_vmm] [vm] [....] Starting periodic command scheduler: cron. [ ok -> tz_vmm] [vm] [....] Starting OpenBSD Secure Shell server: sshd. [init -> tz_vmm] [vm] [init -> tz_vmm] [vm] Debian GNU/Linux 7 usbarmory console [init -> tz_vmm] [vm]
However, in contrast to your assumption, this is already the Linux prompt. The old version is sufficient to reach this point. But, as indicated in the article, you can't enter commands through the serial console because the port that Linux uses is based on a para-virtualized driver that supports output only. This wont change with the version update. But the update introduces USB support in the VM Linux and thereby enables you to use the host communication methods described in the USB Armory Wiki [1].
Cheers, Martin
[1] https://github.com/inversepath/usbarmory/wiki/Host-communication
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hey John,
Am 18.12.2015 um 13:37 schrieb John David:
Thank you for your explanation. i want a command prompt to run a user mode program in Linux (normal world). Can you please suggest me if there is something i can do this?
As the tutorial [1] that I've linked in my last mail suggests, you can do SSH over IP, using an SSH client on your USB host and an SSH server in your USB-Armory Linux-VM. OpenSSH [2] is a popular SSH implementation ;)
Cheers, Martin
[1] https://github.com/inversepath/usbarmory/wiki/Host-communication [2] http://www.openssh.com/
Thank you Martin.
I am trying to run Android in the normal world. Is it possible to run an Android OS without any modification? Where i can find patchs of the Linux kernel in the current demo? Is there a trustzone demo on USB Armory which runs Android in the normal world while Genode in secure world? I couldn't even find an Android image for USB Armory. Appreciate if you could give me a hint on this.
Thanks,
On Friday, December 18, 2015, Martin Stein <martin.stein@...1...> wrote:
Hey John,
Am 18.12.2015 um 13:37 schrieb John David:
Thank you for your explanation. i want a command prompt to run a user mode program in Linux (normal world). Can you please suggest me if there is something i can do this?
As the tutorial [1] that I've linked in my last mail suggests, you can do SSH over IP, using an SSH client on your USB host and an SSH server in your USB-Armory Linux-VM. OpenSSH [2] is a popular SSH implementation ;)
Cheers, Martin
[1] https://github.com/inversepath/usbarmory/wiki/Host-communication [2] http://www.openssh.com/
genode-main mailing list genode-main@lists.sourceforge.net javascript:; https://lists.sourceforge.net/lists/listinfo/genode-main
Hi John,
Am 19.12.2015 um 02:00 schrieb John David:
I am trying to run Android in the normal world. Is it possible to run an Android OS without any modification?
At least, you would have to patch the Linux Kernel that your Android is based on. I don't know whether the rest of Android needs patching too. If you investigate this farther, it would be nice if you could keep me informed about your progress!
Where i can find patchs of the Linux kernel in the current demo?
As described in the article, there is a tutorial on how to build the used Linux [1]. The tutorial references a git branch that contains the mentioned patches [2].
Is there a trustzone demo on USB Armory which runs Android in the normal world while Genode in secure world?
No, and I don't know anybody who's currently working at such a demo.
I couldn't even find an Android image for USB Armory. Appreciate if you could give me a hint on this.
I have not tried to build Android for the USB Armory yet and can't thus give you any other advice but to contact the Inversepath staff regarding this question.
Cheers, Martin
[1] https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/REA...
[2] https://github.com/m-stein/linux/tree/genode_hw_usb_armory_tz_vmm
Hi Martin,
Thanks a lot. Maybe i will take a look at this article https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/imx53/README and see if i can do the same thing for USB Armory.
Regarding SSH connection, when i tried to connect to USB Armory Linux-VM via SSH over IP as described in this tutorial https://github.com/inversepath/usbarmory/wiki/Host-communication it asked me to enter a password for a root user. I entered a default root password which is 'root'. After the password entry, it displayed, " Permission denied, please try again". I also tried to connect without a password but same thing happen. I would be grateful if you have some ideas on this issue.
Thanks,
On Mon, Dec 21, 2015 at 12:47 PM, Martin Stein <martin.stein@...1...
wrote:
Hi John,
Am 19.12.2015 um 02:00 schrieb John David:
I am trying to run Android in the normal world. Is it possible to run an Android OS without any modification?
At least, you would have to patch the Linux Kernel that your Android is based on. I don't know whether the rest of Android needs patching too. If you investigate this farther, it would be nice if you could keep me informed about your progress!
Where i can find patchs of the Linux kernel in the current demo?
As described in the article, there is a tutorial on how to build the used Linux [1]. The tutorial references a git branch that contains the mentioned patches [2].
Is there a trustzone demo on USB Armory which runs Android in the normal world while Genode in secure world?
No, and I don't know anybody who's currently working at such a demo.
I couldn't even find an Android image for USB Armory. Appreciate if you could give me a hint on this.
I have not tried to build Android for the USB Armory yet and can't thus give you any other advice but to contact the Inversepath staff regarding this question.
Cheers, Martin
[1]
https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/REA...
[2] https://github.com/m-stein/linux/tree/genode_hw_usb_armory_tz_vmm
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hey John,
Am 21.12.2015 um 14:41 schrieb John David:
Thanks a lot. Maybe i will take a look at this article https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/imx53/README and see if i can do the same thing for USB Armory.
That's a good idea, combined with the readings about the USB Armory Linux VM demo, it might serve as a good guide line.
Regarding SSH connection, when i tried to connect to USB Armory Linux-VM via SSH over IP as described in thistutorial https://github.com/inversepath/usbarmory/wiki/Host-communication it asked me to enter a password for a root user. I entered a default root password which is 'root'. After the password entry, it displayed, "|Permission denied, please try again|". I also tried to connect without a password but same thing happen. I would be grateful if you have some ideas on this issue.
As described in [1], the login name and password are both 'usbarmory'. This is a good hint, I think I'll add this to my article.
Cheers, Martin
[1] https://github.com/inversepath/usbarmory/wiki/Preparing-a-bootable-microSD-i...
-
Christian Helmuth -
John David -
Martin Stein