diff options
author | Sergio Lopez <slp@redhat.com> | 2019-10-02 08:01:59 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-10-22 09:39:54 +0200 |
commit | e00803aab46c6018b695ee63eef41263c15376d9 (patch) | |
tree | dba0269f5b0507895ce4cd5176e49b6ec8a676e5 /default-configs | |
parent | 0d5fae3e52e8a6b1068e53ebb87e96702246529e (diff) |
docs/microvm.rst: document the new microvm machine type
Document the new microvm machine type.
Signed-off-by: Sergio Lopez <slp@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Diffstat (limited to 'default-configs')
0 files changed, 0 insertions, 0 deletions