NixOS on a Tuxedo InfinityBook Pro 14 Gen9 AMD Laptop

https://news.ycombinator.com/rss Hits: 9
Summary

I link to TUXEDO a lot in this blog post. These links are not affiliate links, and this post is not sponsored (duh). TUXEDO Computers is a laptop manufacturer based in Augsburg, Germany, who are special to Linux users because they’re one of the few manufacturers developing specifically for Linux. They ship with their own TUXEDO OS, which comes with KDE Plasma by default. For my new job, I actually wanted a Framework laptop with an AMD chip, but they were temporarily out of stock so I opted for a TUXEDO laptop, which would have been my second choice. I picked their TUXEDO InfinityBook Pro 14 Gen9 AMD model. In this blog post, I’ll go over how I set up my NixOS computer to work on this TUXEDO laptop. NixOS is not among the supported operating systems, so I was expecting having to do some digging. The result # Here are the changes you’d need to make. I’d recommend reading the rest of the post to understand some trade-offs. { pkgs, config, ... }: { boot = { # Motorcomm YT6801 LAN drivers extraModulePackages = with config.boot.kernelPackages; [yt6801]; kernelParams = [ "acpi.ec_no_wakeup=1" # Fixes ACPI wakeup issues "amdgpu.dcdebugmask=0x10" # Fixes Wayland slowdowns/freezes ]; }; # Requires a system module from this flake: # https://github.com/sund3RRR/tuxedo-nixos?tab=readme-ov-file#option-2-nix-flake hardware = { tuxedo-drivers.enable = true; tuxedo-control-center.enable = true; }; # Let TUXEDO Control Center handle CPU frequencies services.power-profiles-daemon.enable = false; } Include these changes in your /etc/nixos/configuration.nix in some way. In my case, I use a system flake that includes a laptop-specific configuration module. Drivers and the TUXEDO Control Center # # Requires a system module from this flake: # https://github.com/sund3RRR/tuxedo-nixos?tab=readme-ov-file#option-2-nix-flake hardware = { tuxedo-drivers.enable = true; tuxedo-control-center.enable = true; }; The NixOS Wiki has an article on TUXEDO devices. It points at the fact that, as of July 2...

First seen: 2025-07-28 16:33

Last seen: 2025-07-29 00:35