diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
| commit | 8f8cf20bd23a37aaf4ac3a7ec3fab2370ef2a755 (patch) | |
| tree | 4e2931acc236c1c5b83352dd579a62b2c4bf97c8 /docs/configuration.md | |
| parent | 997ce2252ab1a4dc2d5d673b50b6c035e2dca17b (diff) | |
syz-manager: make vmlinux optional
It's currently both optional and non optional.
We require it to be non-empty, but at the same time allow fake "-"
which effectively means "no vmlinux". Make it optional.
Diffstat (limited to 'docs/configuration.md')
| -rw-r--r-- | docs/configuration.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/configuration.md b/docs/configuration.md index 180affe19..c5f1134a8 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -11,7 +11,8 @@ following keys in its top-level object: - `<workdir>/corpus.db`: corpus with interesting programs - `<workdir>/instance-x`: per VM instance temporary files - `syzkaller`: Location of the `syzkaller` checkout. - - `vmlinux`: Location of the `vmlinux` file that corresponds to the kernel being tested. + - `vmlinux`: Location of the `vmlinux` file that corresponds to the kernel being tested + (used for report symbolization and coverage reports, optional). - `procs`: Number of parallel test processes in each VM (4 or 8 would be a reasonable number). - `leak`: Detect memory leaks with kmemleak. - `image`: Location of the disk image file for the QEMU instance; a copy of this file is passed as the |