From 2300eef66de0caf478f863cfa3970be741d8661c Mon Sep 17 00:00:00 2001 From: Igor Pecovnik Date: Wed, 11 Nov 2026 18:36:56 +0100 Subject: [PATCH] repository: also copy cloud kernels to stable Signed-off-by: Igor Pecovnik --- config/repository-kernel-selection.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/repository-kernel-selection.conf b/config/repository-kernel-selection.conf index 63f02268e5..496f4615a4 100644 --- a/config/repository-kernel-selection.conf +++ b/config/repository-kernel-selection.conf @@ -4,7 +4,7 @@ # LINUXFAMILY[:branch] tokens. Globs are allowed. No branch means all branches. # Use the LINUXFAMILY, not the board: uefi-x86 is "x86", rpi4b is "bcm2711". -KERNEL_SELECT="*:edge x86:current" +KERNEL_SELECT="*:edge x86:current *:cloud" # Also copy linux-libc-dev. INCLUDE_LIBC_DEV="true"