Also, there are at least a couple of "publicly available" products one could buy preloaded with Linux. Even Dell has an offering: http://www.dell.com/us/business/p/xps-13-linux/pd