mirror of
https://gitflic.ru/project/npo_rbs/repka-os_kernel.git
synced 2025-04-11 06:44:15 +00:00
8 lines
208 B
Text
8 lines
208 B
Text
# SPDX-License-Identifier: GPL-2.0
|
|
kmsan-cflags := -fsanitize=kernel-memory
|
|
|
|
ifdef CONFIG_KMSAN_CHECK_PARAM_RETVAL
|
|
kmsan-cflags += -fsanitize-memory-param-retval
|
|
endif
|
|
|
|
export CFLAGS_KMSAN := $(kmsan-cflags)
|