From 486b0b0e4f12d05123a5dd27af273b47b1a17eea Mon Sep 17 00:00:00 2001
From: Felix Tenley <dev@felschr.com>
Date: Tue, 6 Oct 2020 18:09:04 +0200
Subject: [PATCH] fix(rpi4): set up GPU support

---
 hardware/gpu-rpi4.nix | 19 +++++++++++++++++++
 rpi4.nix              |  1 +
 2 files changed, 20 insertions(+)
 create mode 100644 hardware/gpu-rpi4.nix

diff --git a/hardware/gpu-rpi4.nix b/hardware/gpu-rpi4.nix
new file mode 100644
index 0000000..4cd5bc1
--- /dev/null
+++ b/hardware/gpu-rpi4.nix
@@ -0,0 +1,19 @@
+{ config, pkgs, ... }:
+
+{
+  hardware.opengl = {
+    enable = true;
+    setLdLibraryPath = true;
+    package = pkgs.mesa_drivers;
+  };
+  hardware.deviceTree = {
+    overlays = [ "${pkgs.device-tree_rpi.overlays}/vc4-fkms-v3d.dtbo" ];
+  };
+  services.xserver = {
+    enable = false;
+    videoDrivers = [ "modesetting" ];
+  };
+  boot.loader.raspberryPi.firmwareConfig = ''
+    gpu_mem=192
+  '';
+}
diff --git a/rpi4.nix b/rpi4.nix
index d1ea772..798cc25 100644
--- a/rpi4.nix
+++ b/rpi4.nix
@@ -3,6 +3,7 @@
 with builtins; {
   imports = [
     # ./hardware/base.nix
+    ./hardware/gpu-rpi4.nix
     # ./system
     ./system/nix.nix
     ./system/i18n.nix