From 7a784831363097eb570c2e9817899fd131e2f33e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20=E2=80=9CNiols=E2=80=9D=20Jeannerod?=
 <nicolas.jeannerod@moduscreate.com>
Date: Fri, 7 Feb 2025 19:05:23 +0100
Subject: [PATCH] Copy configuration from forgejo-ci

---
 infra/forgejo-ci/configuration.nix | 57 ++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 infra/forgejo-ci/configuration.nix

diff --git a/infra/forgejo-ci/configuration.nix b/infra/forgejo-ci/configuration.nix
new file mode 100644
index 00000000..1e9af4f6
--- /dev/null
+++ b/infra/forgejo-ci/configuration.nix
@@ -0,0 +1,57 @@
+{
+  config,
+  lib,
+  ...
+}:
+
+let
+  inherit (lib) mkDefault mkForce;
+in
+{
+  _class = "nixos";
+
+  imports = [
+    ../common/options.nix
+    ../common/nixos
+  ];
+
+  fediversityVm = {
+    # XXX this needs an SSH config entry to locate and access the machine
+    name = "forgejo-ci";
+    domain = "procolix.com";
+
+    ipv4 = {
+      interface = "enp1s0f0";
+      address = "192.168.201.65";
+      prefixLength = 24;
+      gateway = "192.168.201.1";
+    };
+    ipv6.enable = false;
+  };
+
+  networking = {
+    nftables.enable = mkForce false;
+    hostId = "1d6ea552";
+  };
+
+  hardware.cpu.intel.updateMicrocode = mkDefault config.hardware.enableRedistributableFirmware;
+
+  fileSystems."/" = {
+    device = "rpool/root";
+    fsType = "zfs";
+  };
+
+  fileSystems."/home" = {
+    device = "rpool/home";
+    fsType = "zfs";
+  };
+
+  fileSystems."/boot" = {
+    device = "/dev/disk/by-uuid/50B2-DD3F";
+    fsType = "vfat";
+    options = [
+      "fmask=0077"
+      "dmask=0077"
+    ];
+  };
+}