genodelabs/genode — comment on commit 759e789ddd34bb799288d25ffd123163fdcd86c9
File: gems/src/server/d3m/README line 6
By blitz:

You pretty much answered my question. Maybe we can discuss this further during FOSDEM. I was just thinking about this, because I did some driver hacking in the NOVA userland.