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 -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users