A Linux operating system from CoreOS, Inc., San Francisco, CA, that is used as the common kernel for Docker containers. Based on ChromeOS and introduced in 2013, CoreOS also supports server clusters by using the utilities that treat the cluster as a single system. See
OS virtualization,
Tectonic and
Docker.