Debian on the Tuxedo Pulse 14
Linux actually runs on everything, but especially with laptops one or two things have to be adjusted… This also applies to my Tuxedo Pulse 14 Gen3 (and maybe also the Gen4) and Debian 12.
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-center_VERSION_amd64.deb
and
tuxedo-drivers_VERSION_all.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