diff --git a/arch/arm64/src/cmake/Toolchain.cmake b/arch/arm64/src/cmake/Toolchain.cmake index 0978a15f1f..38113dba40 100644 --- a/arch/arm64/src/cmake/Toolchain.cmake +++ b/arch/arm64/src/cmake/Toolchain.cmake @@ -123,6 +123,18 @@ if(CONFIG_MM_KASAN_ALL) add_compile_options(-fsanitize=kernel-address) endif() +if(CONFIG_MM_KASAN_GLOBAL) + add_compile_options(--param=asan-globals=1) +endif() + +if(CONFIG_MM_KASAN_DISABLE_READS_CHECK) + add_compile_options(--param=asan-instrument-reads=0) +endif() + +if(CONFIG_MM_KASAN_DISABLE_WRITES_CHECK) + add_compile_options(--param=asan-instrument-writes=0) +endif() + if(CONFIG_ARCH_INSTRUMENT_ALL) add_compile_options(-finstrument-functions) endif()