Reagaring Genode and USB Armory
martin.stein at ...1...
Tue Apr 26 10:47:17 CEST 2016
<Discussion moved from my private mail to the Genode mailing list>
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  and . If there are such
pitfalls, please let me know. If you agree, I would directly add them to
 resp. .
Regarding the Wiki : 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?
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 .
> 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
>  https://github.com/inversepath/usbarmory/wiki/Host-communication
> Am 20.04.2016 um 08:01 schrieb Agrawal, Utkarsh:
>> 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 , 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
>>  https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_inversepath_usbarmory_wiki_Genode-2DOS&d=CwIC-g&c=C3yme8gMkxg_ihJNXS06ZyWk4EJm8LdrrvxQb-Je7sw&r=hnUL4kgB9cStyuGpvYu3L9_MVOWR5t87hYpTv2FwCGo&m=NwzIeuHqYnvROYKinKAlZVd5PiAYFi9QCtcc7dRP5gs&s=xm51_erngIaEOyEFFbZcXPF_0997eNeTOB2sbteiTQU&e=
>> From: Agrawal, Utkarsh
>> Sent: Friday, April 15, 2016 11:12 PM
>> To: Martin Stein
>> Subject: Re: Reagaring Genode and USB Armory
>> 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  after I have the basic setup running of Genode.
>> I have been trying to use . 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_genode&d=CwIC-g&c=C3yme8gMkxg_ihJNXS06ZyWk4EJm8LdrrvxQb-Je7sw&r=hnUL4kgB9cStyuGpvYu3L9_MVOWR5t87hYpTv2FwCGo&m=NwzIeuHqYnvROYKinKAlZVd5PiAYFi9QCtcc7dRP5gs&s=fEOHYlETLJd9X5bo8qw783vUXEtk6k_2PtnJu8wVG_Y&e= 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
>> From: Martin Stein <martin.stein at ...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 , using the USB Armory page for Genode. 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  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 ?
>>> So as you said, for our own Linux guest, we can use . Just to have a clear idea on this, will I have to combine partial instructions from , and the rest from  to be able to run our own guest?
>> Script  copies the images (linux, dtb, rootfs) that are normally
>> downloaded by script  to $TARGET_DIR so you want to 'export
>> TARGET_DIR=<YOUR_GENODE_BUILD_DIR>/bin' under ':User settings:' in
>> script . So, if you examine script  first, script  afterwards
>> automatically uses the custom images instead of downloading others.
>>> Also, I request you to kindly look at , and put up relevant details there. As because of  I was going around in circles, and could have never landed on .
>> 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  and  for the Genode-related stuff.
>>  https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_genodelabs_genode_blob_master_repos_os_run_tz-5Fvmm.run&d=CwID-g&c=C3yme8gMkxg_ihJNXS06ZyWk4EJm8LdrrvxQb-Je7sw&r=hnUL4kgB9cStyuGpvYu3L9_MVOWR5t87hYpTv2FwCGo&m=-kQoV0ZR_iKUnT8nma7ny9LQLjMXq6a0nxua4xY9Vvc&s=NuzhEEEQyHw-TZI6tVhCu8Pz_l-HrCEDCFikY5nicdc&e=
More information about the users