2 files changed, 24 insertions(+), 0 deletions(-)

M flake.nix
A nixos-modules/default.nix

@@ 131,6 131,10 @@
             packages = self.packages.${system};
           });
 
+      nixosModules =
+        # Modules for composing Genode and NixOS
+        import ./nixos-modules { inherit self; };
+
       checks =
         # Checks for continous testing
         let tests = import ./tests;

@@ 0,0 1,20 @@
+{ flake }:
+
+let
+  baseModules =
+    [ ./genode-core.nix ./genode-init.nix ./gui ./hardware.nix ./systemd.nix ];
+in {
+
+  x86_64 = {
+    imports = [ baseModules ];
+    nixpkgs = rec {
+      localSystem = "x86_64-linux";
+      crossSystem = "x86_64-genode";
+      system = localSystem + "-" + crossSystem;
+      pkgs = flake.legacyPackages.${system};
+    };
+  };
+
+  nova = ./nova.nix;
+
+}