diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-13 20:40:27 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-15 16:02:37 +0200 |
| commit | f7b1163afba16b6266423f3661ccad8a329f7754 (patch) | |
| tree | c14961e90521bb89a714a5b9ddb64f918c313701 /docs/setup_linux-host_isolated.md | |
| parent | 34bc139642b0caed49b2ba2dcb9ccff10e04c55f (diff) | |
syz-manager/mgrconfig: explicitly specify target in config
Add target config parameter (e.g. linux/amd64) which controls target OS/arch.
No more explicit assumptions about target.
Diffstat (limited to 'docs/setup_linux-host_isolated.md')
| -rw-r--r-- | docs/setup_linux-host_isolated.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/setup_linux-host_isolated.md b/docs/setup_linux-host_isolated.md index 8cff007f6..218f5b63e 100644 --- a/docs/setup_linux-host_isolated.md +++ b/docs/setup_linux-host_isolated.md @@ -78,6 +78,7 @@ make Use the following config: ``` { + "target": "linux/amd64", "http": "127.0.0.1:56741", "rpc": "127.0.0.1:0", "sshkey" : "/path/to/optional/sshkey", @@ -95,6 +96,7 @@ Use the following config: ``` Don't forget to update: + - `target` (target OS/arch) - `workdir` (path to the workdir) - `vmlinux` (path to the `vmlinux` binary) - `sshkey` You can setup an sshkey (optional) |