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