What is Linux's Kernel? | Hacker News Reader