My Introduction:

[Norman Feske]

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