4 ms·CoreOS had Tectonicby rossmohax 6y agoCoreOS had Tectonicjusticezyx 6y agoOh right, I forgot that. I think at the point they were acquired, Tectonic was at very early stage. I could be wrong.