diff --git a/files/common/rhel-7-aarch64-server-rpms.repo b/files/common/rhel-7-aarch64-server-rpms.repo index ba48078c4b..e32b9b48dd 100644 --- a/files/common/rhel-7-aarch64-server-rpms.repo +++ b/files/common/rhel-7-aarch64-server-rpms.repo @@ -1,4 +1,13 @@ -[rhel7-aarch64-server] -name = rhel7 $basearch server -baseurl=http://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-server-rpms +[rhel-7-alt-for-arm-64-optional-rpms] +name = rhel7 $basearch server optional +baseurl=http://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-alt-for-arm-64-optional-rpms/ gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release +enabled=1 +gpgcheck=1 + +[rhel-7-alt-for-arm-64-rpms] +name = rhel7 $basearch server +baseurl=http://infrastructure.fedoraproject.org/repo/rhel/rhel7/$basearch/rhel-7-alt-for-arm-64-rpms/ +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release +enabled=1 +gpgcheck=1