Celebrate Genode's 9th anniversary with us!

2017-07-31 Thread Norman Feske
Dear Genode community, to continue our tradition of celebrating our accomplishments in the form of a seasonal barbecue and camp fire, we invite Genode's friends and community to the banks of the river Elbe in Dresden/Germany. Unlike previous years, which were focused on technical breakthroughs,

Re: Qt Virtualkeyboard example

2017-07-31 Thread Johannes Kliemann
Hi Christian, after applying your commit and fixing the vpaths for the plugin directory it compiles but it still fails to find the qtvirtualkeyboardplugin. > qrc:/Basic.qml:31:1: module "QtQuick.VirtualKeyboard" is not installed I can't find the problem at this point. The tar archive seems to

Re: Any genodians attending SHA2017?

2017-07-31 Thread Norman Feske
Hello Jean-Philippe, thanks for reaching out to us. It is great to know that our work is well regarded withing the Qubes community. I definitely keep the prospect of both projects complementing each other (in one way or another) in the back of my head [1] and would love to contemplate possible

Re: lwip and seL4

2017-07-31 Thread Alexander Boettcher
Hello, On 28.07.2017 20:08, Steven Harp wrote: > Observed a problem testing lwip under seL4 (run/lwip). > This succeeds with kernels okl4, foc, and nova, but under > seL4 there are complaints from acpi_drv (see below). > The "Error: I/O memory [1ffe1000,1ffe2000) not available" > seems most