diff --git a/flake.nix b/flake.nix
index 5fbd6ca..58eb69d 100644
--- a/flake.nix
+++ b/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;
diff --git a/nixos-modules/default.nix b/nixos-modules/default.nix
new file mode 100644
index 0000000..dc01322
--- /dev/null
+++ b/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;
+
+}