Skip to content

Commit cbc28c7

Browse files
committed
CI: Switch ppc64le debug build to RUST_OPT_LEVEL_0
To avoid stack overflow we need to increase the kernel stack size to 32K (THREAD_SHIFT = 15). Signed-off-by: Michael Ellerman <[email protected]>
1 parent 1fa10de commit cbc28c7

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

.github/workflows/kernel-ppc64le-debug.config

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -356,7 +356,7 @@ CONFIG_ILLEGAL_POINTER_VALUE=0x5deadbeef0000000
356356
# CONFIG_PPC_4K_PAGES is not set
357357
CONFIG_PPC_64K_PAGES=y
358358
CONFIG_PPC_PAGE_SHIFT=16
359-
CONFIG_THREAD_SHIFT=14
359+
CONFIG_THREAD_SHIFT=15
360360
CONFIG_DATA_SHIFT=16
361361
CONFIG_FORCE_MAX_ZONEORDER=9
362362
# CONFIG_PPC_SUBPAGE_PROT is not set
@@ -1581,8 +1581,8 @@ CONFIG_RUNTIME_TESTING_MENU=y
15811581
#
15821582
CONFIG_RUST_DEBUG_ASSERTIONS=y
15831583
CONFIG_RUST_OVERFLOW_CHECKS=y
1584-
CONFIG_RUST_OPT_LEVEL_SIMILAR_AS_CHOSEN_FOR_C=y
1585-
# CONFIG_RUST_OPT_LEVEL_0 is not set
1584+
# CONFIG_RUST_OPT_LEVEL_SIMILAR_AS_CHOSEN_FOR_C is not set
1585+
CONFIG_RUST_OPT_LEVEL_0=y
15861586
# CONFIG_RUST_OPT_LEVEL_1 is not set
15871587
# CONFIG_RUST_OPT_LEVEL_2 is not set
15881588
# CONFIG_RUST_OPT_LEVEL_3 is not set

0 commit comments

Comments
 (0)