Hi John,
thank you for the enthusiastic feedback. :-)
There are obviously many areas to focus on (too many for one person!), but a couple that leap off the page for me are: 1) seeing what creative ideas the VFS system might support, and 2) using the Nitpicker UI to create low-TCB front-ends. I would also like to play more with writing Ada/SPARK components.
I have some other dreams too, but I'll keep them to myself until I have something more concrete to contribute. ;^)
Oh yes, if I do get any free time, I would also like to update "Genode Corner", and turn it into a useful resource.
Great to know that you consider picking up the work on the Genode Corner.
Cheers Norman