Why isn't Linux embraced as the official GNU kernel? | Hacker News Reader