riscbert: init

flake.lock

@@ -387,6 +387,26 @@
         "type": "github"
       }
     },
+    "riscv64": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1647822145,
+        "narHash": "sha256-hN9oOPwR/mhUnhG2YLywUDFE51SpyBC8O8IOFSVPqbU=",
+        "owner": "zhaofengli",
+        "repo": "nixos-riscv64",
+        "rev": "f0b105b7671289c3fc17849532afe4fceb95bfd6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "zhaofengli",
+        "repo": "nixos-riscv64",
+        "type": "github"
+      }
+    },
     "root": {
       "inputs": {
         "fenix": "fenix",
@@ -400,6 +420,7 @@
         "nixpkgs-openwebrx": "nixpkgs-openwebrx",
         "openwrt": "openwrt",
         "openwrt-imagebuilder": "openwrt-imagebuilder",
+        "riscv64": "riscv64",
         "scrapers": "scrapers",
         "secrets": "secrets",
         "sops-nix": "sops-nix",

flake.nix

@@ -82,9 +82,13 @@
         openwrt-imagebuilder.follows = "openwrt-imagebuilder";
       };
     };
+    riscv64 = {
+      url = "github:zhaofengli/nixos-riscv64";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
   };
 
-  outputs = inputs@{ self, nixpkgs, secrets, nixos-hardware, zentralwerk, yammat, scrapers, spacemsg, tigger, ticker, heliwatch, sops-nix, naersk, fenix, microvm, ... }:
+  outputs = inputs@{ self, nixpkgs, secrets, nixos-hardware, zentralwerk, yammat, scrapers, spacemsg, tigger, ticker, heliwatch, sops-nix, naersk, fenix, microvm, riscv64, ... }:
     let
       inherit (nixpkgs) lib;
       forAllSystems = lib.genAttrs [ "aarch64-linux" "x86_64-linux" ];
@@ -602,6 +606,14 @@
           ];
         };
 
+        riscbert = nixosSystem' {
+          modules = [
+            riscv64.nixosModules.visionfive
+            ./hosts/riscbert
+          ];
+          system = "riscv64-linux";
+        };
+
       };
 
       nixosModule = self.nixosModules.c3d2;

host-registry.nix

@@ -4,6 +4,8 @@
   dacbert.ip4 = "dacbert.hq.c3d2.de";
   dacbert.serial = "3c271952";
 
+  riscbert.ip4 = "riscbert.c3d2.zentralwerk.org";
+
   dn42 = {
     ip4 = "172.22.99.253";
   };

hosts/containers/nix-build/default.nix

@@ -2,7 +2,7 @@
 {
   imports = [
     ./hardware-configuration.nix
-    ./rpi-netboot.nix
+    ./tftp.nix
   ];
 
   networking.hostName = "nix-build"; # Define your hostname.
@@ -28,7 +28,7 @@
     cleanTmpDir = true;
 
     kernelModules = [ "kvm-intel" ];
-    binfmt.emulatedSystems = [ "armv6l-linux" "armv7l-linux" "aarch64-linux" ];
+    binfmt.emulatedSystems = [ "armv6l-linux" "armv7l-linux" "aarch64-linux" "riscv64-linux" ];
   };
 
   nix = {

hosts/riscbert/default.nix

@@ -0,0 +1,22 @@
+{ config, pkgs, ... }:
+{
+  boot = {
+    loader.generic-extlinux-compatible.enable = true;
+    kernelParams = [
+      "verbose" "shell_on_fail"
+      "elevator=deadline"
+    ];
+  };
+
+  system.build.bootFiles = pkgs.runCommandNoCC "boot-files" {} ''
+    mkdir -p $out/boot
+    ${config.boot.loader.generic-extlinux-compatible.populateCmd} -c ${config.system.build.toplevel} -d $out/boot
+  '';
+
+  networking.hostName = "dacbert";
+
+  fileSystems."/" = {
+    device = "/dev/disk/by-label/NIXOS_SD";
+    fsType = "ext4";
+  };
+}