From 88c8dafe5368003c31fd5d90a848b9510db5acd7 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 17 Apr 2021 16:56:36 +0800
Subject: [PATCH] rpi-server: fix USB/PCIe breakage

---
 nixops/rpi-server.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nixops/rpi-server.nix b/nixops/rpi-server.nix
index c076309b..72dfa818 100644
--- a/nixops/rpi-server.nix
+++ b/nixops/rpi-server.nix
@@ -16,6 +16,7 @@
       dtparam=audio=on
     '';
   };
+  boot.kernelParams = ["cma=64M"]; # work around https://github.com/raspberrypi/linux/issues/3208
   boot.kernelPackages = if rpi4 then pkgs.linuxPackages_rpi4 else pkgs.linuxPackages_rpi3;
   hardware.deviceTree.enable = true;
   hardware.deviceTree.base = pkgs.device-tree_rpi;