add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

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