I'd much rather go with CoreOS. Is there anything they've open sourced widely used outside of AWS?