<Discussion moved from my private mail to the Genode mailing list>

Hi Utkarsh,

Regarding your installation script: I think, it is a good idea to share your experience with the community. However, I don't see which steps of this process are not covered yet by [1] and [2]. If there are such pitfalls, please let me know. If you agree, I would directly add them to [1] resp. [2].

Regarding the Wiki [3]: It was updated and, as I think, now gives a clearer view of the way towards a Genode hypervisor on the USB Armory.

Regarding your USB-connection issue: IMO, the USB events that your dmesg shows are not from the integrated USB of the USB Armory but the UART-to-USB converter you've attached to the device. So, apparently you're missing feedback from the host controller at all. Could you please send the UART output of your USB Armory for further analysis?

Cheers, Martin

[1] https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run#L9

[2] https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/REA...

[3] https://github.com/inversepath/usbarmory/wiki/Genode-OS

Am 26.04.2016 um 06:57 schrieb Agrawal, Utkarsh:

I have been able to send bootloader commands on COM port. But I am not able to ssh in to the machine. I do not see any usb0 interface. I followed the "CDC Ethernet" section of [1]. When I move on to "Setup & Connection Sharing: Linux" section, and when I execute "/sbin/ip link set usb0 up", it says that the interface is not found.

I have tried disabling the nework manager(sudo service network-manager stop), and then executing the steps. But still usb0 is not identified.

Any advice on how to proceed with this?

Below is the dmesg: [ 7325.602965] usb 1-1: new full-speed USB device number 11 using xhci_hcd [ 7325.736411] usb 1-1: New USB device found, idVendor=0403, idProduct=6001 [ 7325.736413] usb 1-1: New USB device strings: Mfr=1, Product=2, SerialNumber=3 [ 7325.736415] usb 1-1: Product: FT232R USB UART [ 7325.736415] usb 1-1: Manufacturer: FTDI [ 7325.736416] usb 1-1: SerialNumber: AL00JG5C [ 7325.739007] ftdi_sio 1-1:1.0: FTDI USB Serial Device converter detected [ 7325.739049] usb 1-1: Detected FT232RL [ 7325.739231] usb 1-1: FTDI USB Serial Device converter now attached to ttyUSB0

Thank You Utkarsh Agrawal

[1] https://github.com/inversepath/usbarmory/wiki/Host-communication

Am 20.04.2016 um 08:01 schrieb Agrawal, Utkarsh:

...

Hello,

I was able to Install ootloader, Genode, and the Linux rootfs. Thanks a lot for your guidance. I have compiled a script which does all this task easily. I would love to contribute this to the community, and would like to know how can I do it.

Next steps as I see are:

1. Connect USB Armory to host machine via USB-to-TTL serial cable.
2. Connect to USB Armory COM port.
3. Insert USB Armory into host USB slot and interrupt auto boot on COM port.
4. Send bootloader commands on COM port:
5. Linux login: The login and password of the Linux guest are both "usbarmory"

I hope the above steps are pretty straight forward, and there should be no issues there.

Also, at [1], they mention about this "make ARCH=arm zImage LOADADDR=0x80008000 modules". I am not sure what image they are talking about, when am I supposed to do this step.

Next I would like to know how do I start working on TrustZone with Genode. Can you guide me on how to start with a sample application which switches between Normal and Secure World?

Thank You Utkarsh Agrawal

[1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath_... ________________________________________ From: Agrawal, Utkarsh Sent: Friday, April 15, 2016 11:12 PM To: Martin Stein Subject: Re: Reagaring Genode and USB Armory

Hello,

Thank for you the reply. I just noticed that the subject of the email has a typo. Maybe I was in a hurry when writing the first mail. :)

I am sure that I was in the mentioned branch. I will try [2] after I have the basic setup running of Genode.

I have been trying to use [1]. But I get some errors. Following are the steps I have followed:

I cloned the master branch of https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_g... at /home/genode/genode-master on my computer.

I changed the following variables: export TARGET_DEV=/dev/sdc # empty boot medium export TARGET_MNT=/home/mnt # where to mount the boot medium export GENODE_DIR=/home/genode/genode-master # root of the Genode sources export BUILD_DIR=/path/build/hw_usb_armory # Genode build directory

I am not so sure if the build directory should be what I mentioned there. I just chose a directory randomly.

After this, I realized that in the :Install Genode: step there is no etc/build.conf file. I looked at /home/genode/genode-master and /home/genode/genode-master/repos/os/.

To fix that I executed ./tool/create_builddir hw_usb_armory at /home/genode/genode-master Now I got a build directory with build.conf in hw_usb_armory folder.

I copied over the build.conf to /home/genode/genode-master/repos/os/etc

Next I tried running make run/tz_vmm.run. But now it just says that make: 'tz_vmm.run' is up to date. I don't think that the build process ever started.

I am not sure if I am missing any steps here.

Thank You Utkarsh

---

From: Martin Stein <martin.stein@...1...> Sent: Friday, April 15, 2016 3:06 PM To: Agrawal, Utkarsh Subject: Re: Reagaring Genode and USB Armory

Hi Utkarsh,

Am 14.04.2016 um 19:30 schrieb Agrawal, Utkarsh:

...

I landed on [2], using the USB Armory page for Genode[3]. The script fails at this line "make usbarmory_defconfig". It says something like the target was not found for make.

I was not able to reproduce this but I noticed that [3] doesn't reference the appropriate branch in my linux repo. Are you sure that you're using the 'genode_hw_usb_armory_tz_vmm' branch as mentioned in [2]?

...

So as you said, for our own Linux guest, we can use [2]. Just to have a clear idea on this, will I have to combine partial instructions from [1], and the rest from [2] to be able to run our own guest?

Script [2] copies the images (linux, dtb, rootfs) that are normally downloaded by script [1] to $TARGET_DIR so you want to 'export TARGET_DIR=<YOUR_GENODE_BUILD_DIR>/bin' under ':User settings:' in script [2]. So, if you examine script [2] first, script [1] afterwards automatically uses the custom images instead of downloading others.

...

Also, I request you to kindly look at [3], and put up relevant details there. As because of [3] I was going around in circles, and could have never landed on [1].

Thank you for the hint. I will redirect it to the Inversepath staff. The content of the wiki is up to them and I would suggest you to preferably use [1] and [2] for the Genode-related stuff.

Cheers, Martin

[1] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_g...

[2] https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_m-2Dstein_ge...