tree 7ea709abe8b0c40395f3745ab6247880dcb0c218
parent 0dbb41f28deadca906d09a2d6e7d11bc8381410f
author David Brazdil <dbrazdil@google.com> 1568127590 +0100
committer David Brazdil <dbrazdil@google.com> 1568204684 +0100

Rename manifest.num_vms to vm_count

Rename variable to conform to Hafnium's style guide.

Change-Id: I0b983c98eb28195bc23ba4947857d0d63a990ae3