inicial

flake.nix

@@ -0,0 +1,34 @@
+{
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-23.05";
+  };
+
+  outputs = { self, nixpkgs }:
+    let
+      system = "x86_64-linux";
+      crossSystem = "aarch64-linux";
+      pkgs = import nixpkgs {
+        inherit system;
+        crossSystem = {
+          gcc.cpu = "cortex-a53";
+          config = "aarch64-unknown-linux-gnu";
+          linux-kernel = {
+            DTB = true;
+            autoModules = true;
+            baseConfig = "defconfig";
+            extraConfig = "# Raspberry Pi 3 stuff. Not needed for   s >= 4.10.\nARCH_BCM2835 y\nBCM2835_MBOX y\nBCM2835_WDT y\nRASPBERRYPI_FIRMWARE y\nRASPBERRYPI_POWER y\nSERIAL_8250_BCM2835AUX y\nSERIAL_8250_EXTENDED y\nSERIAL_8250_SHARE_IRQ y\n\n# Cavium ThunderX stuff.\nPCI_HOST_THUNDER_ECAM y\n\n# Nvidia Tegra stuff.\nPCI_TEGRA y\n\n# The default (=y) forces us to have the XHCI firmware available in initrd,\n# which our initrd builder can't currently do easily.\nUSB_XHCI_TEGRA m\n";
+            name = "aarch64-multiplatform";
+            preferBuiltin = true;
+            target = "Image";
+          };
+        };
+      };
+    in
+    {
+      nixosConfigurations.triviOS = nixpkgs.lib.nixosSystem {
+        system = crossSystem;
+        modules = [ ./triviOS ];
+      };
+      formatter.${system} = pkgs.pkgsBuildBuild.nixpkgs-fmt;
+    };
+}