From e502f1a6dfee2bd1716d838340b1584c05d29b60 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 28 Jun 2018 12:01:02 +0200 Subject: 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. --- docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/linux/setup_ubuntu-host_android-device_arm32-kernel.md') 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, -- cgit mrf-deployment