Hello,
thank you for the nice feedback and for sharing your wish list!
The support for hardware platforms very much depends on the demand and on people who are willing to help. Are you planning to take active steps in bringing Genode to one of the boards you mentioned?
- toolchain with full Ada support
- touch and pen input device support
- a structured handbook (PDF, EPUB)
The latter is a topic I am actively working on. You can take a sneak peek here:
https://github.com/nfeske/genode-manual
Cheers Norman