Add nixosModules to flake

flake.nix

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

nixos-modules/default.nix

@@ -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 = import ./nova.nix;
+
+}