There are probably many more things going on. Please, post them here and/or tell us at the BoF!
Don't forget the Gemini PDA which reportedly also runs Debian as an option (though I have not seen one yet).
I have also been working with <https://github.com/ark-dev> on some prototypes -- it seems they intend to use Debian as the main system.
Attachment:
signature.asc
Description: PGP signature