drm/rockchip: dw_hdmi_qp: Add basic RK3576 HDMI output support
[drm/drm-misc.git] / security / ipe / Makefile
blob2ffabfa63fe92d7f21584fb2904290422c5ccd5f
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) += \
17 boot_policy.o \
18 digest.o \
19 eval.o \
20 hooks.o \
21 fs.o \
22 ipe.o \
23 policy.o \
24 policy_fs.o \
25 policy_parser.o \
26 audit.o \
28 clean-files := boot_policy.c \
30 obj-$(CONFIG_SECURITY_IPE_KUNIT_TEST) += \
31 policy_tests.o \