mkosi.conf.d/10-debian-ubuntu/mkosi.conf.d/efi.conf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# SPDX-License-Identifier: LGPL-2.1-or-later
# sbsigntool exists only on UEFI architectures

[Match]
Architecture=|x86
Architecture=|x86-64
Architecture=|arm
Architecture=|arm64
Architecture=|riscv32
Architecture=|riscv64

[Content]
Packages=
        sbsigntool
        systemd-boot
        systemd-boot-efi