Strictly speaking, 'Linux' refers only to the kernel; what we use day-to-day is a stack of Linus's kernel + the GNU user...
