CoreOS vs Linux Kernel | What are the differences?