From f6e8446013c5970b5d335298b3e0d6f7ff3b4494 Mon Sep 17 00:00:00 2001
From: Matthew Ess <mess@yelp.com>
Date: Fri, 3 Jan 2020 03:06:12 -0500
Subject: [PATCH] 32 bit hardware support

---
 configuration.nix | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/configuration.nix b/configuration.nix
index d5d4aa7..c40dd89 100644
--- a/configuration.nix
+++ b/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