genodepkgs/nixos-configurations/default.nix

{ nixpkgs, genodepkgs }:

{
  torDemo = nixpkgs.lib.nixosSystem {
    system = "x86_64-genode";
    modules = [
      genodepkgs.nixosModules.x86_64
      genodepkgs.nixosModules.nova
      ./tor-relay.nix
    ];
  };
}