X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=acda932b9caaf609f1fce811f457ed185647f656;hb=f9a840a4fabad7eaa34d7130c5198b24eb61443a;hp=e4dfc7026d54175fcf8107aec9f9f8f4b093d13e;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index e4dfc70..acda932 100644
--- 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