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