ParentFull threadfrankharv·I am so glad they changed the name. TinyCore and Core Linux were around before CoreOS and I always thought they robbed the name. Defiantly made for some confusion.View on HN