1 # SPDX-License-Identifier: GPL-2.0
3 # Copyright (C) 2020-2024 Microsoft Corporation. All rights reserved.
5 # Makefile for building the IPE module as part of the kernel tree.
8 quiet_cmd_polgen
= IPE_POL
$(2)
9 cmd_polgen
= scripts
/ipe
/polgen
/polgen security
/ipe
/boot_policy.c
$(2)
11 targets
+= boot_policy.c
13 $(obj
)/boot_policy.c
: scripts
/ipe
/polgen
/polgen
$(CONFIG_IPE_BOOT_POLICY
) FORCE
14 $(call if_changed
,polgen
,$(CONFIG_IPE_BOOT_POLICY
))
16 obj-
$(CONFIG_SECURITY_IPE
) += \
28 clean-files
:= boot_policy.c \
30 obj-
$(CONFIG_SECURITY_IPE_KUNIT_TEST
) += \