/* SPDX-License-Identifier: GPL-2.0 */
#include <linux/export.h>
#include <linux/init.h>

 __INITRODATA

 .align 8
 .globl system_certificate_list
system_certificate_list:
__cert_list_start:
__module_cert_start:
 .incbin "certs/signing_key.x509"
__module_cert_end:
 .incbin "certs/x509_certificate_list"
__cert_list_end:

#ifdef CONFIG_SYSTEM_EXTRA_CERTIFICATE
 .globl system_extra_cert
 .size system_extra_cert, CONFIG_SYSTEM_EXTRA_CERTIFICATE_SIZE
system_extra_cert:
 .fill CONFIG_SYSTEM_EXTRA_CERTIFICATE_SIZE, 1, 0

 .align 4
 .globl system_extra_cert_used
system_extra_cert_used:
 .int 0

#endif /* CONFIG_SYSTEM_EXTRA_CERTIFICATE */

 .align 8
 .globl system_certificate_list_size
system_certificate_list_size:
#ifdef CONFIG_64BIT
 .quad __cert_list_end - __cert_list_start
#else
 .long __cert_list_end - __cert_list_start
#endif

 .align 8
 .globl module_cert_size
module_cert_size:
#ifdef CONFIG_64BIT
 .quad __module_cert_end - __module_cert_start
#else
 .long __module_cert_end - __module_cert_start
#endif