diff --git a/README.android_emulator b/README.android_emulator
index 7548959..f2ed598 100644
--- a/README.android_emulator
+++ b/README.android_emulator
@@ -61,6 +61,14 @@
 adb push Inst /
 
 
+# IMPORTANT: when running Valgrind, you may need give it the flag
+#
+#    --kernel-variant=android-emulator-no-hw-tls
+#
+# since otherwise it may crash at startup.
+# See README.android for details.
+
+
 # if you need to debug:
 # You have on the android side a gdbserver
 # on the device side: