diff --git a/.github/release-nest-v3 b/.github/release-nest-v3 index 56a6051..d8263ee 100644 --- a/.github/release-nest-v3 +++ b/.github/release-nest-v3 @@ -1 +1 @@ -1 \ No newline at end of file +2 \ No newline at end of file diff --git a/scripts/config.sh b/scripts/config.sh index 1ec0fe1..a5d9fe6 100755 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -4,6 +4,8 @@ echo "Pika Kernel - Applying configuration" cp ../config .config +make prepare + scripts/config -k -d CONFIG_GENERIC_CPU scripts/config -k -e CONFIG_GENERIC_CPU3 scripts/config -e CACHY @@ -45,4 +47,3 @@ scripts/config -e EFI_HANDOVER_PROTOCOL scripts/config -e USER_NS -make prepare