From 2fb00ea6a57d76e937ce648326db33e00db67ea4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.net>
Date: Wed, 10 Jul 2019 19:20:50 +0100
Subject: [PATCH] do not allow for 32 bit code

---
 nixos/boxes/foureighty.nix | 3 ---
 nixos/virtualbox.nix       | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/nixos/boxes/foureighty.nix b/nixos/boxes/foureighty.nix
index 910af428..2ec25e11 100644
--- a/nixos/boxes/foureighty.nix
+++ b/nixos/boxes/foureighty.nix
@@ -35,9 +35,6 @@
     time.hardwareClockInLocalTime = true;
     time.timeZone = "Europe/London";
 
-    hardware.bumblebee.enable = true;
-    hardware.bumblebee.connectDisplay = true;
-
     hardware.trackpoint.enable = true;
 
     services.fprintd.enable = true;
diff --git a/nixos/virtualbox.nix b/nixos/virtualbox.nix
index 7cded394..a00a71ab 100644
--- a/nixos/virtualbox.nix
+++ b/nixos/virtualbox.nix
@@ -14,5 +14,6 @@ in
       enable = true;
       enableExtensionPack = true;
       enableHardening = false;
+      package = pkgs.virtualbox.override { enable32bitGuests = false; };
     };
   }