Linux is not an OS, it is a kernel. Here is where you can download Linux: http://www.kernel.org/ (I hope the domain is descriptive enough.)

Just because Gaben said they are using Linux for this thing doesn't mean they are going to have Gentoo with the default fluxbox interface and xterm being the app launcher.