Hacker News new | ask | show | jobs
List of Linux kernel names (en.wikipedia.org)
2 points by vohof 4109 days ago