Re: My Introduction:

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