Initial firmware infra

firmware/.envrc

@@ -0,0 +1 @@
+use flake ..#firmware --override-input rootdir "file+file://"<(printf %s "$PWD")

firmware/.gitignore

@@ -0,0 +1 @@
+/result

firmware/base.nix

@@ -0,0 +1,19 @@
+{ lib, ... }:
+let
+  inherit (lib) mkOption;
+in
+{
+  options.my.build = {
+    image = mkOption {
+      description = "Final output image for distribution.";
+      type = lib.types.unspecified;
+    };
+  };
+
+  config = {
+    system = {
+      stateVersion = "24.11";
+    };
+  };
+}
+

firmware/default.nix

@@ -0,0 +1,32 @@
+{ inputs, ... }:
+let
+  mkSystem = target: inputs.nixpkgs.lib.nixosSystem {
+    modules = [
+      ./base.nix
+      target
+    ];
+  };
+in
+{
+  flake.nixosConfigurations = {
+    qclk-rpi3 = mkSystem target/rpi3.nix;
+  };
+
+  perSystem = { libMy, pkgs, ... }: {
+    devenv.shells.firmware = libMy.withRootdir {
+      packages = with pkgs; [
+        nixos-rebuild
+        nixVersions.latest
+      ];
+
+      scripts = {
+        build.exec = ''
+          nix build "..#nixosConfigurations.qclk-$1.config.system.build.toplevel"
+        '';
+        build-image.exec = ''
+          nix build "..#nixosConfigurations.qclk-$1.config.my.build.image"
+        '';
+      };
+    };
+  };
+}

firmware/target/rpi3.nix

@@ -0,0 +1,8 @@
+{ pkgs, modulesPath, config, ... }: {
+  imports = [
+    "${modulesPath}/installer/sd-card/sd-image-aarch64.nix"
+  ];
+
+  nixpkgs.system = "aarch64-linux";
+  my.build.image = config.system.build.sdImage;
+}

flake.nix

@@ -16,6 +16,7 @@
         devenv.flakeModule
 
         ./mcu
+        ./firmware
       ];
       systems = [ "x86_64-linux" ];