1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/ima.h>
4#include <asm/boot_data.h>
5
6bool arch_ima_get_secureboot(void)
7{
8 return ipl_secure_flag;
9}
10
11const char * const *arch_get_ima_policy(void)
12{
13 return NULL;
14}
15

source code of linux/arch/s390/kernel/ima_arch.c