From 91df935594610866a00952c6a20e9754d9d534ff Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 21 Dec 2020 13:04:49 +0100
Subject: [PATCH] WiP! hypervisor demo

---
 nixos-configurations/default.nix         | 12 ++++++++++++
 nixos-configurations/hypervisor-demo.nix | 25 ++++++++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 nixos-configurations/default.nix
 create mode 100644 nixos-configurations/hypervisor-demo.nix

diff --git a/nixos-configurations/default.nix b/nixos-configurations/default.nix
new file mode 100644
index 0000000..56e468b
--- /dev/null
+++ b/nixos-configurations/default.nix
@@ -0,0 +1,12 @@
+{ nixpkgs, genodepkgs }:
+
+{
+  hypervisorDemo = nixpkgs.lib.nixosSystem {
+    system = "x86_64-genode";
+    modules = [
+      genodepkgs.nixosModules.x86_64
+      genodepkgs.nixosModules.nova
+      (import ./hypervisor-demo.nix)
+    ];
+  };
+}
diff --git a/nixos-configurations/hypervisor-demo.nix b/nixos-configurations/hypervisor-demo.nix
new file mode 100644
index 0000000..69db90e
--- /dev/null
+++ b/nixos-configurations/hypervisor-demo.nix
@@ -0,0 +1,25 @@
+{ config, lib, pkgs, ... }:
+
+{
+  hardware.genode.framebuffer.driver = "intel";
+
+  networking.interfaces.eth0 = {
+    genode = {
+      driver = "ipxe";
+      stack = null;
+    };
+    useDHCP = true;
+  };
+
+  genode.vbox.guests = {
+    nixos = {
+      bootFormat = "iso";
+      config = { config, lib, pkgs, ... }: {
+        users.users.root.password = "nixos";
+        services.openssh.permitRootLogin = lib.mkDefault "yes";
+        services.mingetty.autologinUser = lib.mkDefault "root";
+      };
+    };
+  };
+
+}