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 feelmore 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.