Ask HN: Recommended resources to learn the Linux kernel and OS theory?