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}