From 4c673458d381c31c38b36f93354905b109cbf491 Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige@mcwhirter.io>
Date: Wed, 16 Oct 2019 11:54:23 +1000
Subject: [PATCH] Disable B43 wireless firmware

---
 Hardware/raspberry_pi_3_model_B.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index eb19e08..d90829e 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -47,6 +47,10 @@
     enableRedistributableFirmware = true;   # Enable support for Pi firmware blobs
   };
 
+  networking = {
+    enableB43Firmware = false;   # If true, enable Pi wireless firmware
+  };
+
   environment.systemPackages = with pkgs; [
     raspberrypi-tools   # Userland tools for the Raspberry Pi board
   ];