diff options
Diffstat (limited to 'docs/configuration.md')
| -rw-r--r-- | docs/configuration.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/configuration.md b/docs/configuration.md index 301fee770..c53074444 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -18,7 +18,6 @@ following keys in its top-level object: - `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 `-hda` option to `qemu-system-x86_64`. - `sshkey`: Location (on the host machine) of a root SSH identity to use for communicating with |