Note: As of Linux 3.7.6 the samsung-laptop no longer loads when booting in UEFI mode on Samsung hardware. I got a beautiful new Samsung NP900X3C ultrabook this week. It came with Windows 7, which I only used to go download the Arch Linux ISO (ok fine, I also checked my email). As this machine is […]