This article <http://www.theinquirer.net/inquirer/feature/1649635/sgi-advances-linux-hpc> is from a few years ago now, but it stuck in my mind about how running Linux on a proper supercomputer is little different from how it works on your own PC. Standard commands like “lspci” and “more /proc/cpuinfo” work exactly the same, except their output does go on a bit longer when your machine has 4096 cores, and peripheral attachments to match. And all done with a stock-standard Linux kernel: Goh was keen to mention that whatever SGI does to the Linux kernel, it does after making sure that any changes it makes will be accepted by the Linux kernel maintainers. Apparently getting the number of cores limit increased to 4,096 was something that he and his colleagues had to personally convince Linux founder Linus Torvalds to accept. According to Goh, convincing Torvalds was "tougher than designing the hardware".