diff options
| -rw-r--r-- | bragi-hw.nix | 6 | ||||
| -rw-r--r-- | bragi.nix | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/bragi-hw.nix b/bragi-hw.nix index ab424091..f355ffa0 100644 --- a/bragi-hw.nix +++ b/bragi-hw.nix | |||
| @@ -25,4 +25,10 @@ | |||
| 25 | ]; | 25 | ]; |
| 26 | 26 | ||
| 27 | nix.maxJobs = 2; | 27 | nix.maxJobs = 2; |
| 28 | |||
| 29 | boot.loader.grub.extraConfig = "serial; terminal_output.serial"; | ||
| 30 | boot.kernelParams = [ "console=ttyS0,115200" | ||
| 31 | ]; | ||
| 32 | |||
| 33 | nixpkgs.system = "i686-linux"; | ||
| 28 | } | 34 | } |
| @@ -15,10 +15,6 @@ in rec { | |||
| 15 | boot.loader.grub.enable = true; | 15 | boot.loader.grub.enable = true; |
| 16 | boot.loader.grub.version = 2; | 16 | boot.loader.grub.version = 2; |
| 17 | 17 | ||
| 18 | boot.loader.grub.extraConfig = "serial; terminal_output.serial"; | ||
| 19 | boot.kernelParams = [ "console=ttyS0,115200" | ||
| 20 | ]; | ||
| 21 | |||
| 22 | boot.kernelModules = [ "usblp" ]; | 18 | boot.kernelModules = [ "usblp" ]; |
| 23 | 19 | ||
| 24 | boot.tmpOnTmpfs = true; | 20 | boot.tmpOnTmpfs = true; |
| @@ -27,8 +23,6 @@ in rec { | |||
| 27 | networking.hostId = "2af11085"; | 23 | networking.hostId = "2af11085"; |
| 28 | networking.wireless.enable = true; | 24 | networking.wireless.enable = true; |
| 29 | 25 | ||
| 30 | nixpkgs.system = "i686-linux"; | ||
| 31 | |||
| 32 | nixpkgs.config.packageOverrides = pkgs: | 26 | nixpkgs.config.packageOverrides = pkgs: |
| 33 | rec { | 27 | rec { |
| 34 | haskellPackages = pkgs.recurseIntoAttrs ( | 28 | haskellPackages = pkgs.recurseIntoAttrs ( |
