diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-10 12:10:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-10 12:10:38 +0200 |
| commit | 7dabf63f148dfe3239f5ecbb2491a09ff0d8f502 (patch) | |
| tree | d34177f2253f08229ac4d62a9305f7724d9495d6 /docs | |
| parent | 354c3244659f5a81d9ccbdb4cddceeda30b90e9d (diff) | |
Update setup_linux-host_android-device_arm64-kernel.md
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/setup_linux-host_android-device_arm64-kernel.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/setup_linux-host_android-device_arm64-kernel.md b/docs/setup_linux-host_android-device_arm64-kernel.md index 51e1deb3d..ed6dd4d91 100644 --- a/docs/setup_linux-host_android-device_arm64-kernel.md +++ b/docs/setup_linux-host_android-device_arm64-kernel.md @@ -31,4 +31,4 @@ $ NDK=/path/to/android/ndk make TARGETOS=android TARGETARCH=arm64 - Start `syz-manager -config adb.cfg` as usual. If you get issues after `syz-manager` starts, consider running it with the `-debug` flag. -Also see [this page](troubleshooting.md) for troubleshooting tips. +Also see [this page](troubleshooting.md) for troubleshooting tips and [Building a Pixel kernel with KASAN+KCOV](https://source.android.com/devices/tech/debug/kasan-kcov) for kernel build/boot instructions. |