Could you provide some references for all of that? Also, there are at least a couple of "publicly available" products one could buy preloaded with Linux. Even

Could you provide some references for all of that? 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 http://www.dell.com/us/business/p/xps-13-linux/pd