From 3df8cd70c5cb5971c9480f61f0e61dacfdea1509 Mon Sep 17 00:00:00 2001
From: ab0027 <anupam.basak27@gmail.com>
Date: Mon, 16 Jan 2023 09:43:01 +0000
Subject: [PATCH] Use prebuilt kernel instead of a custom built one
---
.gitlab-ci.yml | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 97fadbf..0307d70 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,10 +27,8 @@ build-zynthbox-image-armhf:
# Download prebuilt realtime kernel
- echo "# Download prebuilt realtime kernel"
- # - wget "http://unofficialpi.org/Distros/RealtimePi/2021-06-15_2021-05-07-realtimepi-buster-armhf-lite-0.5.0.zip" -P ./ZynthianOS/src/image
- # Try with custom built low latency 5.15 kernel
- - wget "https://pub.zynthbox.io/.ci-build-dependencies/2023-01-11_2020-02-13-realtimepi-buster-armhf-lite-0.6.0.zip" -P ./ZynthianOS/src/image
-
+ - wget "http://unofficialpi.org/Distros/RealtimePi/2021-06-15_2021-05-07-realtimepi-buster-armhf-lite-0.5.0.zip" -P ./ZynthianOS/src/image
+
# Build image
- echo "# Build image"
- cd ./ZynthianOS/src
--
GitLab