The version with Linux, we call “GNU/Linux.” It is OK to call it “GNU” when you want to be really short, but it is better to call it “GNU/Linux” so as to give Torvalds some credit.

I suggest we call it Linux for short. Good thing you can use Linux without GNU.