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:
- Connect USB Armory to host machine via USB-to-TTL serial cable.
- Connect to USB Armory COM port.
- Insert USB Armory into host USB slot and interrupt auto boot on COM port.
- Send bootloader commands on COM port:
- 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...