feat: initial wip TK1 server config for arm32

tcarrio · Nov 28, 2023 · fb1ab13 · fb1ab13
1 parent b760abf
commit fb1ab13
Showing 1 changed file with 29 additions and 0 deletions.
diff --git a/nixos/server/tk1/default.nix b/nixos/server/tk1/default.nix
@@ -0,0 +1,29 @@
+# Nvidia Tegra K1 Devboard
+
+{ inputs, lib, pkgs, ... }:
+{
+  imports = [
+    ../_mixins/virt
+  ];
+
+  boot = {
+    initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usbhid" "uas" "sd_nod" ];
+    kernelModules = [];
+
+    # TODO: validate newer version with U-Boot
+    kernelPackages = lib.mkDefault pkgs.linuxPackages_4_9;
+  };
+
+  # Use passed hostname to configure basic networking
+  networking = {
+    defaultGateway = "192.168.1.1";
+    interfaces.enp3s0.ipv4.addresses = [{
+      address = "192.168.1.185"; # test IP
+      prefixLength = 24;
+    }];
+    nameservers = [ "192.168.1.1" ];
+    useDHCP = lib.mkForce false;
+  };
+
+  nixpkgs.hostPlatform = lib.mkDefault "armv7l-linux";
+}