13 lines
358 B
Makefile
13 lines
358 B
Makefile
# SPDX-License-Identifier: GPL-2.0
|
|
|
|
obj-y += core.o noinstr.o vc-handle.o svsm.o
|
|
|
|
# Clang 14 and older may fail to respect __no_sanitize_undefined when inlining
|
|
UBSAN_SANITIZE_noinstr.o := n
|
|
|
|
# GCC may fail to respect __no_sanitize_address or __no_kcsan when inlining
|
|
KASAN_SANITIZE_noinstr.o := n
|
|
KCSAN_SANITIZE_noinstr.o := n
|
|
|
|
GCOV_PROFILE_noinstr.o := n
|