Day 3: What does the Linux kernel even do?