1/* SPDX-License-Identifier: GPL-2.0 */
2#include <linux/export.h>
3#include <linux/init.h>
4
5	__INITRODATA
6
7	.align 8
8	.globl system_certificate_list
9system_certificate_list:
10__cert_list_start:
11__module_cert_start:
12	.incbin "certs/signing_key.x509"
13__module_cert_end:
14	.incbin "certs/x509_certificate_list"
15__cert_list_end:
16
17#ifdef CONFIG_SYSTEM_EXTRA_CERTIFICATE
18	.globl system_extra_cert
19	.size system_extra_cert, CONFIG_SYSTEM_EXTRA_CERTIFICATE_SIZE
20system_extra_cert:
21	.fill CONFIG_SYSTEM_EXTRA_CERTIFICATE_SIZE, 1, 0
22
23	.align 4
24	.globl system_extra_cert_used
25system_extra_cert_used:
26	.int 0
27
28#endif /* CONFIG_SYSTEM_EXTRA_CERTIFICATE */
29
30	.align 8
31	.globl system_certificate_list_size
32system_certificate_list_size:
33#ifdef CONFIG_64BIT
34	.quad __cert_list_end - __cert_list_start
35#else
36	.long __cert_list_end - __cert_list_start
37#endif
38
39	.align 8
40	.globl module_cert_size
41module_cert_size:
42#ifdef CONFIG_64BIT
43	.quad __module_cert_end - __module_cert_start
44#else
45	.long __module_cert_end - __module_cert_start
46#endif
47