Hacker News Reader

Those two don’t have mainline Linux, they use a custom out of tree 4.x kernel.

Thanks for the info. I tried a quick search to see if I could find video or screenahots of it running a Linux distro, but couldn't find any.