32 bit hardware support

configuration.nix

@@ -147,7 +147,16 @@
   sound.enable = true;
 
   # Hardware switches
-  hardware = { pulseaudio.enable = true; };
+  hardware = {
+    opengl = {
+      driSupport32Bit = true;
+      extraPackages32 = [ pkgs.pkgsi686Linux.libva ];
+    };
+    pulseaudio = {
+      enable = true;
+      support32Bit = true;
+    };
+  };
 
   # Define a user account. Don't forget to set a password with ‘passwd’.
   users.users.mat = {
@@ -165,6 +174,11 @@
   # Don't ask for my password *quite* as often.
   security.sudo.extraConfig = "Defaults timestamp_timeout=60";
 
+  nix = {
+    binaryCaches = [ "https://hydra.iohk.io" ];
+    binaryCachePublicKeys = [ "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=" ];
+  };
+
   # This value determines the NixOS release with which your system is to be
   # compatible, in order to avoid breaking some software such as database
   # servers. You should change this only after NixOS release notes say you