nixos-hardware/tuxedo/pulse/15/gen2/README.md