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.3.4+tux.1.1-txos-amd64 (= 7.3.4-1+tux1) [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-txos-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Depends: linux-base-7.3.4+tux.1.1-txos-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.3.4+tux.1.1-txos-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.quick>
Built-Using: linux-tuxedo (= 7.3.4-1+tux1)
Depends: linux-base-7.3.4+tux.1.1-txos-amd64 (= 7.3.4-1+tux1), ${misc:Depends}
Description: Linux 7.3.4 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.3.4 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.3.4+tux.1.1-txos-amd64.

Package: linux-headers-tuxedo-txos-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Depends: linux-base-tuxedo-txos-amd64 (= ${binary:Version}), linux-headers-7.3.4+tux.1.1-txos-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 txos-amd64 configuration.

Package: linux-image-7.3.4+tux.1.1-txos-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.3.4+tux.1.1-txos-amd64 (= ${binary:Version}), linux-binary-7.3.4+tux.1.1-txos-amd64 (= ${binary:Version}), linux-modules-7.3.4+tux.1.1-txos-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.3
Breaks: fwupdate (<< 12-7) [amd64], initramfs-tools (<< 0.120+deb8u2) [amd64], wireless-regdb (<< 2019.06.03-1~) [amd64]
Description: Linux 7.3.4 for 64-bit PCs, TUXEDO
 The Linux kernel 7.3.4 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-txos-amd64
Architecture: amd64
Build-Profiles: <!pkg.linux.nokernel !pkg.linux.nometa !pkg.linux.quick>
Provides: linux-latest-modules-7.3.4+tux.1.1-txos-amd64, virtualbox-guest-modules [amd64], wireguard-modules (= 1.0.0)
Depends: linux-base-tuxedo-txos-amd64 (= ${binary:Version}), linux-image-7.3.4+tux.1.1-txos-amd64 (= ${binary:Version}), linux-modules-tuxedo-txos-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-txos-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-txos-amd64 (= ${binary:Version}), linux-image-7.3.4+tux.1.1-txos-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 txos-amd64 configuration.

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

