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