Hi Utkarsh,

I unsuccessfully tried to reproduce your problem with a fresh build. I created a working SD card from the scratch with Genode version 16.02 by just copying the commands from the tutorial in [1] to my bash and filling in my parameters in the first section. I've attached the my UART log to the mail.

The differences I see between your setup and mine:

* I've used the prebuilt Linux images for now. Is your setup working if you're using prebuilt images? (You can do this by removing <build_dir>/bin/linux*, <build_dir>/bin/rootfs* and <build_dir>/bin/dtb* and restart from 'make run/tz_vmm')

* It seems that you're using another Uboot than me. Have you used the boot loader that is created and installed by the tutorial or your own?

* The tutorials were tested only on Linux hosts. If you're using another OS, you have to be aware of subtile differences. Also, there are dedicated sections for other OS's in [2].

* It seems that your ether_gadget is missing something. In my setup it says "g_ether gadget: high-speed config #1: CDC Ethernet (ECM)" which is missing in your case. Consequently you're also missing "ifup: interface usb0 already configured" when the VM configures its network interfaces. And finally, your log says "IPv6: ADDRCONF(NETDEV_UP): usb0: link is not ready".

Cheers, Martin

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

[2] https://github.com/inversepath/usbarmory/wiki/Host-communication#cdc-etherne...

Am 26.04.2016 um 21:45 schrieb Agrawal, Utkarsh:

Hello,

The initial steps of compilation and building the SD card were not clear. It took me few days to understand whats going on with the building procedure. I will share the script file soon. There are some changes I am making to it. Then maybe you can incorporate it into the repository.

I see that the wiki got updated. Thanks for that.

Here is the link to the output: http://pasted.co/7ff78388

Thank You Utkarsh

---

From: Martin Stein <martin.stein@...1...> Sent: Tuesday, April 26, 2016 2:19 PM To: Agrawal, Utkarsh Subject: Re: Reagaring Genode and USB Armory

I have answered your last mail on the mailing list [1]. It has the same subject line as this mail.

Cheers, Martin

[1] genode-main@lists.sourceforge.net

Am 22.04.2016 um 11:17 schrieb Agrawal, Utkarsh:

...

Hello,

Yes, I think it is a good time that we move it to the mailing list. How shall we do it?

Thank You Utkarsh

---

From: Martin Stein <martin.stein@...1...> Sent: Wednesday, April 20, 2016 5:07 PM To: Agrawal, Utkarsh Subject: Re: Reagaring Genode and USB Armory

Hey Utkarsh,

I would like to move this discussion to the mailing list at this point.

Do you agree with that?

Cheers, Martin

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...

---

Find and fix application performance issues faster with Applications Manager Applications Manager provides deep performance insights into multiple tiers of your business applications. It resolves application problems quickly and reduces your MTTR. Get your free trial! https://ad.doubleclick.net/ddm/clk/302982198;130105516;z _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hey Utkarsh,

Am 28.04.2016 um 21:10 schrieb Agrawal, Utkarsh:

I think you missed to attach the log. :)

I checked it. No, the attachment is there. Its no footnote like [x] but a file attached to the mail.

• I have been using the prebuilt Linux. I again built everything by following the instructions you mentioned. The UART is still exactly the same.

• I used the Uboot as mentioned at [1].

Hm, its strange that it gives another output than mine. Could you pleas do the following and send me the corresponding output:

rm -rf <genode_dir>/contrib/uboot/ VERBOSE= <genode_dir>/tool/create_uboot hw_usb_armory md5sum <genode_dir>/contrib/uboot/build/hw_usb_armory/u-boot.imx

• I am building Genode on Ubuntu. I tried to connect to the device on Ubuntu and Mac OS X. No luck.

• Those lines are still missing in the log.

After I am done with building genode, and the sd-card is prepared, I followed the instructions at [2], and [3].

I am not sure if I am supposed to add an entry to /etc/network/interfaces in genode, as there are no usb0 entry there.

I don't think so. The usb link bring-up failed already on the guest side as the log suggests so the host isn't the problem.

Also, I have attached the script at [4] which I am using to create the image. Save it as "<filename>.sh", and run with "sudo". I hope "sudo" is not screwing up something.

First, your script installs the Genode sources and some tools. We have not added this to the tutorial as most of this is a prerequisit to Genode development in general. Regarding partclone, however, I agree with you. I'll add a hint in the tutorial. The rest of your script seems to be the same as the tutorial. What is the 'umount "$TARGET_DEV"?' for? Why have you changed the order of some instructions like 'make run/tz_vmm'?

Btw., it seems that [4] isn't available anymore.

Cheers, Martin

Latest log is at [5].

[1] https://github.com/genodelabs/genode/blob/master/repos/os/run/tz_vmm.run#L30 [2] https://github.com/inversepath/usbarmory/wiki/Host-communication#cdc-etherne... [3] https://github.com/inversepath/usbarmory/wiki/Host-communication#setup--conn... [4] https://codeshare.io/aGBbi [5] https://codeshare.io/BDPxf