Hi Norman-

Thanks for greeting me on your Genode list.

you asked: * Would you recommend the Zedboard as a low-cost HW/SW codesign* *platform? *

I opted for a ZedBoard over a microZed / BaseBoard pair...only because of it's more established support eco-system.. That said the MircoZed platform will be a much better selection in the far longer run.

One note about the MicroZed, it's USB connector is currently shipped configured from the factory to be host only...i.e. the Zynq SOC chip's USB to go capabilities apparently require a board level component modification....

ZedBoard has only 512MegaByte of DRAM, as opposed to the MicroZed's 1Gig.

I don't yet know the details... further more the low end Zynq chips on Zed and microZed, do not support multi-gigibit SERDES channels...only up to 950Mbit/sec per LVDS pair.

the Zed board has a fair amount of additional I/O hardware, HDMI output or reversed as an Input) driven via the FPGA ..... so you folks shout be able to move the Genode Nitpicker video logic over quite easily.... that would be great!

But I hear from a Ed Berdahlhttp://wp.music.lsu.edu/faculty-staff/edgar-berdahl/that the Audio analog section on the ZedBoard may be a far cry from a hi quality implementation.

You might want to check out ZYBO a lower cost Zynq 7010 platform from Digilenthttp://www.digilentinc.com/Products/Detail.cfm?NavPath=2,719,1197&Prod=ZYBO also: the Zynq-7000 AP SoC Extension Card By Inreviumhttps://digilentinc.com/Products/Detail.cfm?NavPath=2,952,1130&Prod=INREVIUM-ZYNQ7000

you asked: * I wonder in particular if it comes with a license for the* *Xilinx ISE+EDK (or however it is called for the Zynq-7000), which is* *pretty expensive otherwise?*

These days the older ISE+EDK tool kit has been replaced by, Vivadohttp://www.xilinx.com/products/design-tools/vivado/ a major 500+ man year, tool-chain from scratch re-write. that apparently was quite the implementation challenge.. I have only begun to work with it...so I can't tell you much about it from my own experiences as of yet.

The ZedBoard comes with a 1-year 7020 device locked licence certificate for Vivado. The microZed (development kit only, not the OEM modules), come witha 1-year 7010 device locked licence certificate.

* y*ou asked: * If not, what is the designated target **audience for the board?*

The ZedBoard implementation, was Avnet / Digilent's first more cost effective entry point into the Xilix Zync SOC eco-system, many both by them and other's will follow... for example the Parallellahttp://www.parallella.org/ has a Zynq 7010 device on it, but I gather at $99...it does not come with a licence certificate for Vivadohttp://www.xilinx.com/products/design-tools/vivado/ .

Altera also will have good offerings in terms of leading egde SOCs... see: RocketBoards.org

hhh

On Mon, Jan 27, 2014 at 3:14 AM, Norman Feske <norman.feske@...1...>wrote:

Hi Peter,

welcome to the list! Bringing Genode to Zynq-7000 looks like a very cool project. Given that base-hw already supports Cortex-A9, it is not too far off to give it a try.

Btw, Would you recommend the Zedboard as a low-cost HW/SW codesign platform? I wonder in particular if it comes with a license for the Xilinx ISE+EDK (or however it is called for the Zynq-7000), which is pretty expensive otherwise? If not, what is the designated target audience for the board?

Cheers Norman

Btw, I skimmed through your paper on voting and found it pretty interesting. Like many, I encountered the "wasted vote" effect first hand several times.

On 01/23/2014 10:59 PM, Peter Lindener wrote:

...

Dear Genodians-

I enter your world wishing / working for a world were we can feel

more certain that computing systems can be trusted... is seems clear that those form Genodia have also come to see this vision..

I contacted Martin Stein, regarding his work with running/co-designing Genode's core within an FPGA.... I'm just starting to work with ZedBoard http://www.zedboard.org/product/zedboard... He suggested that I might sign up on this mailing list.

I am a Information Theoretic Social Decision System Theorist... See our Introductory paper http://www.votingmatters.org.uk/ISSUE27/I27P1.pdf published inthe journal Voting Matters http://www.votingmatters.org.uk/. from our perspective secure computation will be critical towards the electorate's trust in more advanced, network based social decision systems.

-- Dr.-Ing. Norman Feske Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

---

CenturyLink Cloud: The Leader in Enterprise Cloud Services. Learn Why More Businesses Are Choosing CenturyLink Cloud For Critical Workloads, Development Environments & Everything In Between. Get a Quote or Start a Free Trial Today.

http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.cl... _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hi Norman-

I took note of the mention of Wayland in relation to Nitpicker in the Genode 2014 road-map... Seems like Genode in ARM trust-zone...will likewise be quite relevant for running on a Zynq SOC..

I did take note that OKLabs already has some support for Zynq 7000 deviceshttp://www.ok-labs.com/releases/release/general-dynamics-broadband-brings-virtualization-to-xilinx-zynq-7000-all-pr

-Peter

On Tue, Jan 28, 2014 at 7:20 AM, Norman Feske <norman.feske@...1...>wrote:

Hi Peter,

thank you very much for the elaborate response to my questions.

Given their capabilities, it is amazing how cheap those Zynq development boards are. The one-year node-locked license is certainly enough to get one hooked with diving into the world of HW-SW codesign.

In the past, we had been working on running Genode on the Microblaze softcore and created custom IP cores for display and user input. However, as most users of the framework are apparently using ARM SoCs or x86, we are focusing on those platforms for now. I still hope to work with FPGAs again. So I'm curious about how your plan will work out.

Cheers Norman

-- Dr.-Ing. Norman Feske Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

---

WatchGuard Dimension instantly turns raw network data into actionable security intelligence. It gives you real-time visual feedback on key security issues and trends. Skip the complicated setup - simply import a virtual appliance and go from zero to informed in seconds.

http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.cl... _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main