From 51a68d1e91b5a08798b8c42435a94eab40760193 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 10 Dec 2020 20:23:53 +0100
Subject: [PATCH] Add nixosModules to flake

---
 flake.nix                 |  4 ++++
 nixos-modules/default.nix | 20 ++++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 nixos-modules/default.nix

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..8187db1
--- /dev/null
+++ b/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;
+
+}