Google Inc. ‘s GOOGL venture capital arm, Google Ventures, led an investment round raising $12 million for CoreOS, a creator of open source container oriented Linux distribution for massive scale server deployments. Other participants in the funding round were