My Introduction:

Norman Feske norman.feske at ...1...
Mon Jan 27 12:14:41 CET 2014

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?


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
> <>...   He suggested that I
> might sign up on this mailing list.
>    I am a Information Theoretic Social Decision System Theorist...  See
> our Introductory paper
> <> published inthe
> journal Voting Matters <>.  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 ·

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

More information about the users mailing list