From 0dfdbce026642a78243c7e34aaeb9c3a44f53235 Mon Sep 17 00:00:00 2001
From: Travis Staton <hello@travisstaton.com>
Date: Sat, 27 Jul 2024 10:11:02 -0400
Subject: [PATCH] add example image to packages and CI

---
 example/default.nix | 37 +++++++++++++++++++++++++++++++++++++
 flake.nix           |  7 +++++++
 2 files changed, 44 insertions(+)
 create mode 100644 example/default.nix

diff --git a/example/default.nix b/example/default.nix
new file mode 100644
index 0000000..4f8dcb6
--- /dev/null
+++ b/example/default.nix
@@ -0,0 +1,37 @@
+{ pkgs, lib, ... }: {
+  time.timeZone = "America/New_York";
+  users.users.root.initialPassword = "root";
+  networking = {
+    hostName = "example";
+    useDHCP = false;
+    interfaces = {
+      wlan0.useDHCP = true;
+      eth0.useDHCP = true;
+    };
+  };
+  raspberry-pi-nix.board = "bcm2711";
+  hardware = {
+    raspberry-pi = {
+      config = {
+        all = {
+          base-dt-params = {
+            BOOT_UART = {
+              value = 1;
+              enable = true;
+            };
+            uart_2ndstage = {
+              value = 1;
+              enable = true;
+            };
+          };
+          dt-overlays = {
+            disable-bt = {
+              enable = true;
+              params = { };
+            };
+          };
+        };
+      };
+    };
+  };
+}
diff --git a/flake.nix b/flake.nix
index 033984a..43c3893 100644
--- a/flake.nix
+++ b/flake.nix
@@ -58,6 +58,12 @@
         core-overlay = self.overlays.core;
         libcamera-overlay = self.overlays.libcamera;
       };
+      nixosConfigurations = {
+        rpi-example = srcs.nixpkgs.lib.nixosSystem {
+          system = "aarch64-linux";
+          modules = [ self.nixosModules.raspberry-pi ./example ];
+        };
+      };
       checks.aarch64-linux = self.packages.aarch64-linux;
       packages.aarch64-linux = with pinned.lib;
         let
@@ -72,6 +78,7 @@
               board-attr-set;
         in
         {
+          example-sd-image = self.nixosConfigurations.rpi-example.config.system.build.sdImage;
           firmware = pinned.raspberrypifw;
           wireless-firmware = pinned.raspberrypiWirelessFirmware;
           uboot-rpi-arm64 = pinned.uboot-rpi-arm64;