Translation(s): none

This is a wiki dedicated to get Debian Buster working on the TUXEDO Infinitybook Pro15-v5 with Intel i7 processor

About this page

This page is still under construction but the instructions should lead you to an usable installation and log in in graphics mode. This is also an add on for the original page at


This article assumes that you are familiar with modifying configuration files. You have to connect to the wired LAN because the WiFi adapter works not at this point. Preparing an USB flash drive: Chose your preferred Debian Installation ISO image and move this to a bootable USB Flash Drive (Preferred tool = «?BalenaEtcher»)


To get the notebook to boot from your USB stick you must press the F7 key several times after power on. This will lead you to the 'insyde' boot manager. Select your USB stick as the EFI boot device. Important: Install your Debian version on any partition but do not remove or change the EFI boot partition. If you accidentally deleted the EFI partion create a new one with the Tuxedo WebFAI-USB-Stick (FAI=Fully automated installation).

When first booting the process will probably stop without any message. Press “ALT+F4” to get a login message and provide username (root) and password (the one you provided during the installation process).

Modify sources.list

Next thing to do is to change the sources.list to include the backports.

nano /etc/apt/sources.list

Your sources.list should look similar like this (the src entries are out commented, you can skip all comment (#) rows)

# deb cdrom:[Official Debian GNU/Linux Live 10.10.0 xfce 2021-06-19T12:01]/ buster main
# deb cdrom:[Official Debian GNU/Linux Live 10.10.0 xfce 2021-06-19T12:01]/ buster main
deb buster main
# deb-src buster main
deb buster/updates main
# deb-src buster/updates main
# buster-updates, previously known as 'volatile'
deb buster-updates main
# deb-src buster-updates main
deb buster-backports main

Next thing is to update and upgrade:

apt-get update
apt-get upgrade

Afterwards install the newest kernel to support the new hardware drivers: First search for the newest Linux headers and images:

apt-cache search linux-headers | less
apt-cache search linux-image | less
---> choose the newest headers and image from the list

Then install header and kernel and reboot. In this sample we selected -5.5.0-0.bpo.2-amd64. Replace this with your version.

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

Watch the login process closely to make sure that the new kernel is properly installed. At this point you should be able to login in graphics mode.

Custom Hardware drivers

To see failed drivers log in as root, open terminal and:

journalctl -p 3

Some configuration is needed to get everything working. Search for the following drivers on Debian sites and copy them on a blank USB stick.

You may replace the asterix (*) with the actual version number and install them with:

dpkg -i [drivername]

Check the installation again with:

journalctl -p 3

If you read 'failed to load iwl-debug-yoyo.bin' create or update the configuration file with:

nano /etc/modprobe.d/iwlwifi.conf
---> and add
options iwlwifi enable_ini=N

If your wireless network adapter does not connect modify:

nano /etc/network/interfaces
---> comment out the next line