From 6b9e96f638fc934de6c04190b5902194f9ac8ebe Mon Sep 17 00:00:00 2001
From: Samuel Dionne-Riel <samuel@dionne-riel.com>
Date: Mon, 6 Jan 2020 19:50:35 -0500
Subject: [PATCH] Add modules for stage-1 display init

---
 configuration.nix | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/configuration.nix b/configuration.nix
index 8fa06c2..e7c44e1 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -17,6 +17,39 @@ in
 
   boot.kernelPackages = pkgs.linuxPackages_pinebookpro;
 
+  # This list of modules is not entirely minified, but represents
+  # a set of modules that is required for the display to work in stage-1.
+  # Further minification can be done, but requires trial-and-error mainly.
+  boot.initrd.kernelModules = [
+    # Rockchip modules
+    "rockchip_rga"
+    "rockchip_saradc"
+    "rockchip_thermal"
+    "rockchipdrm"
+
+    # GPU/Display modules
+    "analogix_dp"
+    "cec"
+    "drm"
+    "drm_kms_helper"
+    "dw_hdmi"
+    "dw_mipi_dsi"
+    "gpu_sched"
+    "panel_simple"
+    "panfrost"
+    "pwm_bl"
+
+    # USB / Type-C related modules
+    "fusb302"
+    "tcpm"
+    "typec"
+
+    # Misc. modules
+    "cw2015_battery"
+    "gpio_charger"
+    "rtc_rk808"
+  ];
+
   sdImage = {
     manipulateImageCommands = ''
       (PS4=" $ "; set -x