CentOS Linux死后重生，重命名为Rocky Linux，以他已故导师命名