[xenomai-images][PATCH] ci: Use Raspberry Pi 4 in favor of HiKey board for kernel head pipelines

Jan Kiszka <[email protected]>
Newsgroups dev.linux.lists.xenomai
Message-ID <[email protected]>
From: Jan Kiszka <[email protected]>

The HiKey is our board for older kernels that are not yet supported by
more modern hardware like the RPi4.

Signed-off-by: Jan Kiszka <[email protected]>
---
 ci/lib/kernel/head.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ci/lib/kernel/head.yml b/ci/lib/kernel/head.yml
index ba9c0c4..376a002 100644
--- a/ci/lib/kernel/head.yml
+++ b/ci/lib/kernel/head.yml
@@ -48,16 +48,16 @@ lava-test-head:qemu-arm64:
   variables:
     KERNEL_VERSION: "head"
 
-build-head:hikey:
-  extends: .build:hikey
+build-head:rpi4:
+  extends: .build:rpi4
   variables:
     LINUX_BUILD_OPTION: ":kas/opt/linux-head.yaml"
     KERNEL_VERSION: "head"
     CACHE_KERNEL: dovetail
 
-lava-test-head:hikey:
-  needs: [ "build-head:hikey" ]
-  extends: .lava-test:hikey
+lava-test-head:rpi4:
+  needs: [ "build-head:rpi4" ]
+  extends: .lava-test:rpi4
   variables:
     KERNEL_VERSION: "head"
 
-- 
2.47.3
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.