diff options
| author | Taras Madan <tarasmadan@google.com> | 2021-10-05 08:57:16 +0000 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-10-05 13:49:13 +0200 |
| commit | f765b597a136dee8fefef2bb5f346be80f15b8b1 (patch) | |
| tree | 887a63c77454f83c7fa2b59bd3613cf01c770a3a /docs/syz_verifier.md | |
| parent | ce697b49e30d07d5c08d0849410efc8797f1cb66 (diff) | |
docs/syz-verifier: fix internal link
Diffstat (limited to 'docs/syz_verifier.md')
| -rw-r--r-- | docs/syz_verifier.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/syz_verifier.md b/docs/syz_verifier.md index 31985c400..f2a1437a9 100644 --- a/docs/syz_verifier.md +++ b/docs/syz_verifier.md @@ -60,8 +60,7 @@ make verifier runner executor To start using the tool, separate configuration files need to be created for each kernel you want to include in the verification. An example of Linux -configs can be found [here](/docs/linux/ -setup_ubuntu-host_qemu-vm_x86-64-kernel.md#syzkaller). The configuration files +configs can be found [here](/docs/linux/setup_ubuntu-host_qemu-vm_x86-64-kernel.md#syzkaller). The configuration files are identical to those used by `syz-manager`. If you want to generate programs from a specific set of system calls, these can |