diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-28 12:01:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-28 13:42:04 +0200 |
| commit | e502f1a6dfee2bd1716d838340b1584c05d29b60 (patch) | |
| tree | 1830f87856fa251b0ef7949b158074d0225e6ec7 /docs/fuchsia.md | |
| parent | dba0b50e7863cf82c29969caed47da4b8c99ee05 (diff) | |
docs: remove mentions of vmlinux
vmlinux is deprecated in favor of kernel_obj.
Remove all mentions of it.
Also warn in syz-manager/mgrconfig if vmlinux is set.
Diffstat (limited to 'docs/fuchsia.md')
| -rw-r--r-- | docs/fuchsia.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/fuchsia.md b/docs/fuchsia.md index 19c3ad269..69f106070 100644 --- a/docs/fuchsia.md +++ b/docs/fuchsia.md @@ -27,7 +27,7 @@ Run `syz-manager` with a config along the lines of: "target": "fuchsia/amd64", "http": ":12345", "workdir": "/workdir.fuchsia", - "vmlinux": "/fuchsia/out/build-zircon/build-x64/zircon.elf", + "kernel_obj": "/fuchsia/out/build-zircon/build-x64", "syzkaller": "/syzkaller", "image": "/fuchsia/out/x64/images/fvm.blk", "sshkey": "/fuchsia/out/x64/ssh-keys/id_ed25519", |