Fellow Genodians-

    Is a Lenovo Thinkpad x201 is still the best hardware platform for syncing up with other's who are working with Turmvilla ?   or is there something more modern that leading edge Genodians are working hard to make into there prefured day to day use Genode platform ?

    In the longer run... I am intrested in running the Gneode OS on 

Snickerdoodle (Dual Core ARM_A9 as well as the Mips Creator Ci40 ..

It would be great if we might be able to deliver Genode to run on these boards via the Snappy package update manager....

   any thoughts on this? am I dreaming in the right direction?

      -Peter