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,24 @@
+{ flake }:
+
+{
+
+  x86_64 = {
+    imports = [
+      ./genode-core.nix
+      ./genode-init.nix
+      ./gui
+      ./hardware
+      ./qemu-vm.nix
+      ./systemd.nix
+    ];
+    nixpkgs = rec {
+      localSystem = "x86_64-linux";
+      crossSystem = "x86_64-genode";
+      system = localSystem + "-" + crossSystem;
+      pkgs = flake.legacyPackages.${system};
+    };
+  };
+
+  nova = import ./nova.nix;
+
+}