Bootlin's Best Techniques for a Smaller Kernel and Faster Boot Times | Hacker News Reader