From e5d7d71b1e746224bba0c85fbcdc2ef4a390b95f Mon Sep 17 00:00:00 2001 From: Mike Rapoport Date: Tue, 8 Aug 2017 16:18:04 +0300 Subject: [PATCH] Documentation: add --lazy-pages option to page-server description Signed-off-by: Mike Rapoport Acked-by: Adrian Reber Signed-off-by: Pavel Emelyanov --- Documentation/criu.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Documentation/criu.txt b/Documentation/criu.txt index 5a7cd3996..ef0105fdd 100644 --- a/Documentation/criu.txt +++ b/Documentation/criu.txt @@ -549,6 +549,12 @@ Launches *criu* in page server mode. *--port* 'number':: Page server port number. +*--lazy-pages*:: + Serve local memory dump to a remote *lazy-pages* daemon. In this + mode the *page-server* reads local memory dump and allows the + remote *lazy-pages* deamon to request memory pages in random + order. + *lazy-pages* ~~~~~~~~~~~~ Launches *criu* in lazy-pages daemon mode.