How to install Tuxedo Keyboard driver(for RGB lid models!) on Debian 11 Bullseye

Log in as root

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

git clone https://github.com/tuxedocomputers/tuxedo-keyboard.git

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

Source: https://wiki.debian.org/InstallingDebianOn/TUXEDO/NOTEBOOKS/InfinityBookS14v5

The instructions given on the link above where for Debian 10 stable, but they also work on Debian 11 Bullseye