GNU/Linux, or as I've recently been taking to calling it, GNU plus Linux