Rethinking Linux device memory allocation | Hacker News Reader