This is a wiki dedicated to getting Debian to work optimally on the TUXEDO Aura 15

About this page

This page is designed to help with installation of Debian GNU/Linux on the TUXEDO Aura 15 . 'This page is still under construction but the instructions should lead you to an usable installation' There are additional information on installation of necessary drivers and other optimizations.


Important!: At the point of writing you need an Ethernet cable (LAN) to download the needed packages easily. In my case the WLAN was not working out of the box (non-free wifi driver needed). Also the touchpad does not work in the graphical installer so you should prefer the (non-graphical) installer when booting from the USB (see below).

Hint before buying: The AMD Radeon™ RX Vega 7 Graphics needs a non-free driver at the point of writing :( (for details see below). Consider to call TUXEDO to ask if they have a similar laptop without proprietary drivers needed.

Also consider buying a wifi chipset which is compatible with a free software system to support the free software community. TUXEDO offers the possibility to buy the TUXEDO Aura 15 without a WLAN chip so you can choose your own. If you buy it with the listed wifi chipsets you will need to install drivers from the debian non-free repository (see below).

Overall Status

Core Components


Boot Standard Kernel:


LAN network card:


Detect CD/DVD:


Detect hard drives:


Extra Features

CPU Frequency Scaling




Sleep / Suspend




- OpenGL


- Resize-and-Rotate(randr)


Switch to External Screen




- Built-in (Trackpoint)


- Built-in (Touchpad)





X-( or {i}

Keyboard's Hotkeys






Legend :
{OK} = OK ; {X} Unsupported(No Driver) ; /!\ = Error (Couldn't get it working); [?] Unknown, Not Test ; [-] Not-applicable
{i} = Configuration Required; X-( = Only works with a non-free driver and or firmware

Preparing the USB flash drive

There are many ways to install Debian. One way to install Debian on the TUXEDO Aura 15 is to use a flash USB drive. This might be your first choice since the TUXEDO Aura 15 does not ship with a CD-ROM drive. You will need a flash USB drive that is 256MB or larger. The below method outlines how to modify a flash drive putting the Debian installer on it. For other methods of installation please refer to the section Alternative Installation Methods or see the install guide.

Download the current stabel Debian 64-Bit image and verify it:

$ cd /Path/to/Debian10_amd64_iso
$ sha256sum -c SHA256SUMS 2>&1 | grep OK
 --> ok
$ gpg --verify SHA256SUMS.sign
 --> compare the fingerprint!

Creating a USB flash boot drive

We follow the Installation Manual (amd64) to create a bootable USB:

Attention: The following erases all data on the USB flash drive. Make sure you have a back-up of the data!

Run  lsblk -p  to see which devices are currently connected to your machine. Then attach the USB to see his name. Alternativeley you can use the GUI gnome-disks ("Laufwerke" in German). Make sure you copy the image on the whole device and not on a partition (e.g. dev/sdb, not /dev/sdb1)!

# cp debian.iso /dev/sdX
# sync

ToDo: verify


To get the TUXEDO Aura 15 to boot from a USB stick you must enable USB booting from the BIOS. To do this, press ESC as the laptop boots and ensure booting from a USB is enabled in the BIOS.

This will cause the TUXEDO Aura 15 to boot the Debian installer from the USB stick. Now follow the instructions in the installer.

ToDo: You should prefer a setup with an encrypted hard disk


When first booting, in my case the boot process was stuck with an error. By pressing 'alt + F4' I could log in under the command (user: root, pw: from Installation).

The missing part in this case was some non-free driver :( for the AMD Radeon™ RX Vega 7 Graphics. For more information read the AtiHowTo (In my case I first tried to update the kernel but it might not be necessary)

The AMD/ATI graphics processing unit (GPU) series/codename of an installed video card can usually be identified using the lspci command. For example:

See HowToIdentifyADevice/PCI for more information.

We will use buster-backports to get the newest version of the firmware-amd-graphics. Change the source list to include the backports:

# nano /etc/apt/sources.list
# buster backports
deb buster-backports main contrib non-free

If you installed from a cd/dvd image you can comment out that source with '#' (if you want to use https-sources you need to installthe apt-transport-https package)

Then update and upgrade:

apt-get update
apt-get upgrade

Install the firmware-amd-graphics from backports, libgl1-mesa-dri, libglx-mesa0, mesa-vulkan-drivers, and xserver-xorg-video-all packages:

# apt-get install -t buster-backports firmware-linux-nonfree
# apt-get install  libgl1-mesa-dri libglx-mesa0 mesa-vulkan-drivers xserver-xorg-video-all

Restart your system to load the newly installed driver by typing reboot.

If you encounter the same error, install the newest kernel to support the hardware drivers:

First search for the newest linux headers and images:

apt-cache search linux-headers | less
---> choose the newest from the list (in my case: linux-headers-5.9.0-0.bpo.2-amd64)

apt-cache search linux-image | less
---> (in my case: linux-image-5.9.0-0.bpo.2-amd64)

Then install header and kernel:

apt-get install -t buster-backports llinux-headers-5.9.0-0.bpo.2-amd64 linux-image-5.9.0-0.bpo.2-amd64

After the installation reboot:


Now you should have a graphical interface to log in. Enjoy!

(in the terminal you could verify the new kernel version with

uname -r
---> 5.5.0-0.bpo.2-amd64

Problems booting the installer

Problems with the installer itself

The mouspat was not working in the graphical installer → Use the (non-graphical) installer...

Problems with older Debian releases



The installation will produce a usable Debian installation. However, some configuration is needed to get everything working.


If you find bugs consider to update the EFI-EC (BIOS):


Custom Hardware drivers


If you bought the TUXEDO Aura 15 with the WLAN chip from TUXEDO (Intel Wi-Fi 6 AX200 or Intel Dual AC 9260 at the point of writing) you need to install drivers for them from the debian non-free repository.

Consider buying a wifi chipset which is compatible with a free software system instead to support the free software community. TUXEDO offers the possibility to buy the TUXEDO Aura 15 without a WLAN chip so you can choose your own.

ToDo: some experience on possible chipsets?

Here is how you install the wifi package:

# nano /etc/apt/sources.list

# buster backports
deb buster-backports non-free main

→ save

# apt-get update
# apt-get upgrade

# apt-get install firmware-iwlwifi

TUXEDO keyboard etc.

To get the TUXEDO specific hardware support (LED colors, fan control etc), you might need to install some deb packages from TUXEDO with

sudo apt install /Path/custom_driver.deb

or better compile them from source. Here an example on how to compile the tuxedo-keybord module:

Log in as root and clone the git repo:

apt-get update && apt-get upgrade
apt-get install install git

git clone

cd tuxedo-keyboard

git checkout release

Build the keyboard module as a kernel module:

make clean

sudo make dkmsinstall

Load the Module with modprobe:

sudo modprobe tuxedo_keyboard

Now the modul should be loaded automatically on boot.

Suspend on lid closure

Other distributions

Where to buy

External Links