From 8f8cf20bd23a37aaf4ac3a7ec3fab2370ef2a755 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 23 Sep 2017 10:02:53 +0200 Subject: 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. --- docs/configuration.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'docs/configuration.md') 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: - `/corpus.db`: corpus with interesting programs - `/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 -- cgit mrf-deployment