From 9d3f6209bf2cc73cc584b44e5b0569663fe76c8f Mon Sep 17 00:00:00 2001
From: David Drysdale <drysdale@google.com>
Date: Wed, 16 Dec 2015 09:47:38 +0000
Subject: Mention need for mounted debugfs

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 7617bc2b8..d9b7cff28 100644
--- a/README.md
+++ b/README.md
@@ -56,6 +56,8 @@ In particular:
    $SSHID -p $PORT root@localhost` without being prompted for a password (where `SSHID` is the SSH
    identification file and `PORT` is the port that are specified in the `manager` configuration
    file).
+ - The kernel exports coverage information via a debugfs entry, so the VM image needs to mount
+   the debugfs filesystem at `/sys/kernel/debug`.
 
 TODO: Describe how to support other types of VM other than QEMU.
 
-- 
cgit mrf-deployment