machines/{brawndo,notsure}: Enable 32bit DRI libs

Unfortunately, this is a requirement for Steam and other 32bit games, so
let's make sure it's available.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>

2 files changed, 2 insertions, 0 deletions

diff --git a/machines/aszlig/managed/brawndo.nix b/machines/aszlig/managed/brawndo.nix
index 5fb7c4a9..f6866f37 100644
--- a/machines/aszlig/managed/brawndo.nix
+++ b/machines/aszlig/managed/brawndo.nix
@@ -32,6 +32,7 @@ in {
     cpu.intel.updateMicrocode = true;
     enableAllFirmware = true;
     opengl.s3tcSupport = true;
+    opengl.driSupport32Bit = true;
     pulseaudio.enable = true;
   };
 
diff --git a/machines/aszlig/managed/notsure.nix b/machines/aszlig/managed/notsure.nix
index cafb4d03..568d2a83 100644
--- a/machines/aszlig/managed/notsure.nix
+++ b/machines/aszlig/managed/notsure.nix
@@ -21,6 +21,7 @@ in {
   hardware = {
     enableAllFirmware = true;
     opengl.s3tcSupport = true;
+    opengl.driSupport32Bit = true;
     pulseaudio.enable = true;
   };