Skip to content
Snippets Groups Projects
Commit 3df8cd70 authored by ab0027's avatar ab0027 :speech_balloon:
Browse files

Use prebuilt kernel instead of a custom built one

parent 5040089d
No related branches found
No related tags found
No related merge requests found
Pipeline #7758 passed
...@@ -27,10 +27,8 @@ build-zynthbox-image-armhf: ...@@ -27,10 +27,8 @@ build-zynthbox-image-armhf:
# Download prebuilt realtime kernel # Download prebuilt realtime kernel
- echo "# 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 - 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
# Build image # Build image
- echo "# Build image" - echo "# Build image"
- cd ./ZynthianOS/src - cd ./ZynthianOS/src
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment