From 6637bbe3aa77f38b2d42a9a6539e76c8e902f0f3 Mon Sep 17 00:00:00 2001 From: Igor Pecovnik Date: Thu, 28 Dec 2023 21:31:05 +0100 Subject: [PATCH] Bugfix: kernel config for WDK is undefined. CI fails --- config/boards/wdk2023.wip | 1 + 1 file changed, 1 insertion(+) diff --git a/config/boards/wdk2023.wip b/config/boards/wdk2023.wip index c82382fbfc..7fb14ef5a5 100644 --- a/config/boards/wdk2023.wip +++ b/config/boards/wdk2023.wip @@ -19,6 +19,7 @@ function post_family_config_branch_wdk2023__jg_kernel() { declare -g KERNEL_MAJOR_MINOR="6.7" # Major and minor versions of this kernel. declare -g KERNELBRANCH='branch:jg/wdk2023-gunyah-6.7-rc6' declare -g KERNELSOURCE='https://github.com/jglathe/linux_ms_dev_kit.git' + declare -g LINUXCONFIG='linux-arm64-wdk2023' display_alert "Set up jg's kernel ${KERNELBRANCH} for" "${BOARD}" "info" }