{ config, pkgs, ... }: { boot.kernelModules = [ "axge" "ax88179_178a" ]; }