From 4569bf8172fb3e6093b32637a54f7ced49fe8ed6 Mon Sep 17 00:00:00 2001
From: Samuel Dionne-Riel <samuel@dionne-riel.com>
Date: Mon, 6 Jan 2020 21:24:31 -0500
Subject: [PATCH] Split configuration in a way that can be imported

---
 configuration.nix | 40 +---------------------------------------
 pinebook_pro.nix  | 43 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 44 insertions(+), 39 deletions(-)
 create mode 100644 pinebook_pro.nix

diff --git a/configuration.nix b/configuration.nix
index e7c44e1..f91837d 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -9,45 +9,7 @@ in
     <nixpkgs/nixos/modules/profiles/minimal.nix>
     <nixpkgs/nixos/modules/profiles/installation-device.nix>
     ./nixos/sd-image-aarch64.nix
-  ];
-
-  nixpkgs.overlays = [
-    (import ./overlay.nix)
-  ];
-
-  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"
+    ./pinebook_pro.nix
   ];
 
   sdImage = {
diff --git a/pinebook_pro.nix b/pinebook_pro.nix
new file mode 100644
index 0000000..5e82dd3
--- /dev/null
+++ b/pinebook_pro.nix
@@ -0,0 +1,43 @@
+# This configuration file can be safely imported in your system configuration.
+{ config, pkgs, lib, ... }:
+
+{
+  nixpkgs.overlays = [
+    (import ./overlay.nix)
+  ];
+
+  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"
+  ];
+}