Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
NixOS hardware configuration for TUXEDO Pulse 15 - Gen2.