I spent the past 2 months improving Tock OS - added GPS and file system - and yesterday got the display running:
https://github.com/tock/tock/issues/2846#issuecomment-108617...
I could use some help adding new drivers (esp. Bluetooth, but also simple ones like touch screen) and if someone explained Bluetooth Low Energy or Apache NimBLE to me, that would be awesome.
Contact me here or through the web page (which needs some work too): https://jazda.org/community/