X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=acda932b9caaf609f1fce811f457ed185647f656;hb=6bb8ca47571181d96a312b20afee1c00b700c10f;hp=e4dfc7026d54175fcf8107aec9f9f8f4b093d13e;hpb=f52927b361af572818c9ff885eba9e1ca1fe22f9;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