From 7dabf63f148dfe3239f5ecbb2491a09ff0d8f502 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Tue, 10 Oct 2017 12:10:38 +0200 Subject: Update setup_linux-host_android-device_arm64-kernel.md --- docs/setup_linux-host_android-device_arm64-kernel.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') 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. -- cgit mrf-deployment