Ask HN: What are some good resources to learn Operating Systems? | Hacker News Reader