According to the indiegogo page the 2nd Linux besides Android is Debian. Some questions: 1. Does this Debian have its own kernel or does it use the Android kernel? 2. If it has its own kernel, is it a Debian distribution kernel? 3. If it isn't, are all the modules mainlined? 4. If they aren't, where do I get the sources? 5. Which blobs are involved? Edit: Why does the last photo show the desktop running as root?