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 ++- docs/setup_linux-host_android-device_arm64-kernel.md | 1 - 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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 diff --git a/docs/setup_linux-host_android-device_arm64-kernel.md b/docs/setup_linux-host_android-device_arm64-kernel.md index e7d6fa744..51e1deb3d 100644 --- a/docs/setup_linux-host_android-device_arm64-kernel.md +++ b/docs/setup_linux-host_android-device_arm64-kernel.md @@ -19,7 +19,6 @@ $ NDK=/path/to/android/ndk make TARGETOS=android TARGETARCH=arm64 "http": "localhost:50000", "workdir": "/gopath/src/github.com/google/syzkaller/workdir", "syzkaller": "/gopath/src/github.com/google/syzkaller", - "vmlinux": "-", "sandbox": "none", "procs": 8, "type": "adb", -- cgit mrf-deployment