{ nixpkgs, genodepkgs }:

{
  hypervisorDemo = nixpkgs.lib.nixosSystem {
    system = "x86_64-genode";
    modules = [
      genodepkgs.nixosModules.x86_64
      genodepkgs.nixosModules.nova
      (import ./hypervisor-demo.nix)
    ];
  };
}