diff options
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. |