Backports Kernel

Debian 12 comes with the kernel 6.1. With this kernel, the display does not want to wake up after sleep mode. Installing the 6.10 kernel from the backports helps here.

Add to /etc/apt/sources.list

deb http://deb.debian.org/debian bookworm-backports main non-free-firmware

Update:

sudo apt update

Install Kernel 6.10:

sudo apt install -t bookworm-backports linux-headers-6.10.11+bpo-amd6

And Kernel headers needed later for tuxedo drivers.

sudo apt install -t bookworm-backports linux-headers-6.10.11+bpo-amd6

AMD GPU firmware:

sudo apt install -t bookworm-backports firmware-amd-graphics

Fixing Display Freezing

In /etc/default/grub change

GRUB_CMDLINE_LINUX_DEFAULT="quiet"

to

GRUB_CMDLINE_LINUX_DEFAULT="quiet splash amdgpu.dcdebugmask=0x10"

This will fix freezes of the display when running on battery. Adding splash will add a nicer prompt if you use encryption.

Update grub:

sudo update-grub

and reboot.

Tuxedo Control Center

Tuxedo recommends not to include your packages as a repo, but to install them directly.

Download the latest version of

tuxedo-control-centerVERSIONamd64.deb

and

tuxedo-driversVERSIONall.deb.

Install both packages with

sudo apt install ./tuxedo*.deb

Add Keys to Secure Boot

To ensure that the Tuxedo driver also works under Secure Boot, the signature of the module created with dkms during installation must be stored in the UEFI.

If mokutil is not installed, it will be installed. dkms should already be installed. If I enter the following, it will be installed in case of doubt.

sudo dnf install mokutil dkms

The machine owner key (mok.pub) from dkms can be found in Fedora in the path: /var/lib/dkms

The installation is carried out by:

sudo mokutil --import /var/lib/dkms/mok.pub

The MOK Manager appears after the computer has restarted. In the MOK manager, select Enroll MOK – Continue – Yes. Then restart the computer and the Tuxedo drivers should now also run under Secure Boot.

For more detailed steps, you could look at the sources. I just wrote a summary for my system.

Sources:

• Tuxedocomputers.com: TUXEDO Control Center and drivers under Debian
• Reddit.com: This is how I set up secure boot with Fedora and tuxedo-keyboard driver

#debian #hardware