Changes

=== criu pre-dump/dump ===

=== criu pre-dump/dump ===

With page-server, you need to specify additional arguments to <code>criu pre-dump</code> or <code>criu dump</code> commands. They are:

In addition to usual set of options (see [[live migration]], [[iterative migration]] etc.), when a page-server is used, you need to specify a few additional arguments to <code>criu pre-dump</code> or <code>criu dump</code> commands:

; --page-server

; --page-server