{ config, lib, pkgs, ... }: {
  genode.boot.storeBackend = "usb";
  genode.gui.consoleLog.enable = true;
  hardware.genode.usb = {
    ehciSupport = true;
    ohciSupport = false;
    uhciSupport = false;
    xhciSupport = false;
  };
  networking.interfaces.eth0.genode.driver = "ipxe";
  services.tor = {
    enable = true;
    client.enable = false;
    extraConfig = ''
      Log [general,net,config,fs]debug stdout
    ''; # MaxMemInQueues 64 MBytes
    relay = {
      enable = true;
      contactInfo = "genodepkgs-junk@spam.works";
      port = 80;
      role = "relay";
      bridgeTransports = [ ];
    };
  };
  systemd.services.tor.genode = {
    enable = true;
    interface = "eth0";
    ramQuota = 512;
    extraVfs = pkgs.writeText "tor.vfs.dhall" ''
      let VFS = (env:DHALL_GENODE).VFS

      in  [ VFS.dir "var" [ VFS.dir "lib" [ VFS.leaf "ram" ] ] ]
    '';
  };
}