On a more practical, less experimental note, I would like to see more work on the SDK, in documentation and integration with third party build systems, and would like to try to build Genode with Clang. Both for the benefit of Cedric, and to define a Clang target that does not use segment registers for TLS.
Cheers, Emery