Source: linux-signed-tuxedo-amd64
Section: kernel
Priority: optional
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Uploaders: Bastian Blank <waldi@debian.org>, maximilian attems <maks@debian.org>, Ben Hutchings <benh@debian.org>, Salvatore Bonaccorso <carnil@debian.org>
Standards-Version: 4.2.0
Build-Depends: debhelper-compat (= 13), python3:any, sbsigntool [amd64 arm64]
Build-Depends-Arch: linux-binary-unsigned-7.2.13+tux.1.1-tuxedo-amd64 (= @signedtemplate_binaryversion@) [amd64] <!pkg.linux.nokernel !pkg.linux.quick>, rsync [amd64] <!pkg.linux.nokernel !pkg.linux.quick>
Rules-Requires-Root: no
Homepage: https://www.kernel.org/
Vcs-Browser: https://salsa.debian.org/kernel-team/linux
Vcs-Git: https://salsa.debian.org/kernel-team/linux.git

Package: linux-base-tuxedo-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Depends: linux-base-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), ${misc:Depends}
Description: Linux for 64-bit PCs (dummy package)
 This empty package is used to keep the installed versions of
 linux-headers-64-bit PCs and linux-image-64-bit PCs synchronised.

Package: linux-binary-7.2.13+tux.1.1-tuxedo-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.quick>
Built-Using: linux-tuxedo (= 7.2.13-1+tux1)
Depends: linux-base-7.2.13+tux.1.1-tuxedo-amd64 (= @signedtemplate_binaryversion@), ${misc:Depends}
Description: Linux 7.2.13 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.2.13 on PCs with AMD64,
 Intel 64 or VIA Nano processors.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.2.13+tux.1.1-tuxedo-amd64.

Package: linux-headers-tuxedo-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Depends: linux-base-tuxedo-amd64 (= ${binary:Version}), linux-headers-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), ${misc:Depends}
Description: Linux for 64-bit PCs (module development meta-package)
 This package depends on the architecture-specific header files for the
 latest Linux kernel tuxedo-amd64 configuration.

Package: linux-image-7.2.13+tux.1.1-tuxedo-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.quick>
Pre-Depends: linux-base (>= 4.17~)
Depends: dracut [amd64] | initramfs-tools (>= 0.120+deb8u2) [amd64] | linux-initramfs-tool [amd64], linux-base-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), linux-binary-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), linux-modules-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), ${misc:Depends}
Recommends: apparmor [amd64]
Suggests: debian-kernel-handbook, firmware-linux-free, grub-pc [amd64] | grub-efi-amd64 [amd64] | extlinux [amd64], linux-doc-7.2
Breaks: fwupdate (<< 12-7) [amd64], initramfs-tools (<< 0.120+deb8u2) [amd64], wireless-regdb (<< 2019.06.03-1~) [amd64]
Description: Linux 7.2.13 for 64-bit PCs, TUXEDO
 The Linux kernel 7.2.13 and modules for use on PCs with AMD64, Intel 64 or
 VIA Nano processors.
 .
 This kernel includes the TUXEDO patch set.

Package: linux-image-tuxedo-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Provides: linux-latest-modules-7.2.13+tux.1.1-tuxedo-amd64, virtualbox-guest-modules [amd64], wireguard-modules (= 1.0.0)
Depends: linux-base-tuxedo-amd64 (= ${binary:Version}), linux-image-7.2.13+tux.1.1-tuxedo-amd64 (= ${binary:Version}), ${misc:Depends}
Description: Linux for 64-bit PCs (meta-package)
 This package depends on the latest Linux kernel and modules for use on PCs
 with AMD64, Intel 64 or VIA Nano processors.

Package: linux-image-tuxedo-amd64-dbg
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nokerneldbg !pkg.linux.nometa !pkg.linux.quick>
Provides: linux-latest-image-dbg
Depends: linux-base-tuxedo-amd64 (= ${binary:Version}), linux-image-7.2.13+tux.1.1-tuxedo-amd64-dbg (= ${binary:Version}), ${misc:Depends}
Description: Linux for 64-bit PCs (debug symbols meta-package)
 This package depends on the detached debugging symbols for the latest
 Linux kernel tuxedo-amd64 configuration.

