Ask HN: Are there any lean operating systems left? | Hacker News Reader