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/linux/setup_ubuntu-host_android-device_arm32-kernel.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/linux/setup_ubuntu-host_android-device_arm32-kernel.md')
| -rw-r--r-- | docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md b/docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md index 8ff301c26..8f1618e68 100644 --- a/docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md +++ b/docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md @@ -48,13 +48,13 @@ make TARGETOS=linux TARGETARCH=arm ### Create a manager configuration file Create a manager config myboard.cfg, replacing the environment -variables `$GOPATH`, `$VMLINUX` (path to vmlinux for the ARM32 board), and `$DEVICES` (the device ID for your board as reported by adb devices) with their actual values. Change any other flags as needed for your ARM board. +variables `$GOPATH`, `$KERNEL` (path to kernel build dir for the ARM32 board), and `$DEVICES` (the device ID for your board as reported by adb devices) with their actual values. Change any other flags as needed for your ARM board. ``` { "target": "linux/arm", "http": "127.0.0.1:56741", "workdir": "$GOPATH/src/github.com/google/syzkaller/workdir", - "vmlinux": "$KERNEL/vmlinux", + "kernel_obj": "$KERNEL", "syzkaller": "$GOPATH/src/github.com/google/syzkaller", "sandbox": none, "procs": 1, |