Add reference to mcp example.

diff --git a/doc/vm.texi b/doc/vm.texi
index e4dfc7026d54175fcf8107aec9f9f8f4b093d13e..acda932b9caaf609f1fce811f457ed185647f656 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -787,6 +787,9 @@ it:
 munmap (map);
 @end example
 
+The @command{mcp} program in @file{src/examples} shows how to copy a
+file using memory-mapped I/O.
+
 @item What if two processes map the same file into memory?
 
 There is no requirement in Pintos that the two processes see