From 0d69adb10dcde1efbd6453aac760d7246efb636c Mon Sep 17 00:00:00 2001
From: Benjamin Sherman <benjamin@holyarmy.org>
Date: Mon, 20 May 2024 06:23:36 -0500
Subject: [PATCH] fix: add coreos pool repo to mitigate dependancy build issue
 (#163)

---
 ucore/install-ucore-hci.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ucore/install-ucore-hci.sh b/ucore/install-ucore-hci.sh
index 9559a9d..12ea513 100755
--- a/ucore/install-ucore-hci.sh
+++ b/ucore/install-ucore-hci.sh
@@ -2,9 +2,15 @@
 
 set -ouex pipefail
 
+# add the coreos pool repo for package versions which can't be found elswehere
+curl -L https://raw.githubusercontent.com/coreos/fedora-coreos-config/testing-devel/fedora-coreos-pool.repo -o /etc/yum.repos.d/fedora-coreos-pool.repo
+
 # install packages.json stuffs
 export IMAGE_NAME=ucore-hci
 /tmp/packages.sh
 
+# remove coreos pool repo
+rm -f /etc/yum.repos.d/fedora-coreos-pool.repo
+
 # tweak os-release
 sed -i '/^PRETTY_NAME/s/(uCore.*$/(uCore HCI)"/' /usr/lib/os-release