{
  name = "execve";
  machine = { pkgs, ... }: {
    genode.init.children.test-execve = {
      configFile = ./execve.dhall;
      inputs = with pkgs.genodePackages; [ libc posix test-libc_execve ];
    };
  };
}