diff options
author | Sergio Lopez <slp@redhat.com> | 2019-11-15 17:13:38 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-11-19 10:01:34 +0100 |
commit | 62e9dc35824eee7caf6878a6ba89a46afa433289 (patch) | |
tree | d6ff377e08996883fa3aa05df6fac0525c3b719a /exec.c | |
parent | ff9d708933c019d963505f65c031ac743ec5de1d (diff) |
docs/microvm.rst: add instructions for shutting down the guest
Add a new section explaining the particularities of the microvm
machine type for triggering a guest-initiated shut down.
Signed-off-by: Sergio Lopez <slp@redhat.com>
Message-Id: <20191115161338.42864-3-slp@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions