Why isn't Linux embraced as the official GNU kernel?
unix.stackexchange.com