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