99 USD micro notebook gets Debian support | Hacker News Reader