// SPDX-License-Identifier: GPL-2.0

#include <linux/kernel.h>
#include <linux/sched.h>
#include <linux/cred.h>
#include <linux/err.h>
#include <linux/efi.h>
#include <linux/slab.h>
#include <keys/asymmetric-type.h>
#include <keys/system_keyring.h>
#include <asm/boot_data.h>
#include "../integrity.h"

/*
 * Load the certs contained in the IPL report created by the machine loader
 * into the platform trusted keyring.
 */
static int __init load_ipl_certs(void)
{
        void *ptr, *end;
        unsigned int len;

        if (!ipl_cert_list_addr)
                return 0;
        /* Copy the certificates to the platform keyring */
        ptr = __va(ipl_cert_list_addr);
        end = ptr + ipl_cert_list_size;
        while ((void *) ptr < end) {
                len = *(unsigned int *) ptr;
                ptr += sizeof(unsigned int);
                add_to_platform_keyring("IPL:db", ptr, len);
                ptr += len;
        }
        return 0;
}
late_initcall(load_ipl_certs);