You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The main change is that `GuestMemory` can now handle virtual memory,
which requires passing the needed access permissions.
The previous `GuestMemory` is now called `GuestMemoryBackend`, so we
need to use that in the kani verification code.
As for getting the memory’s bitmap type, we need to use
`GuestMemory::Bitmap` instead of going through the region type.
Finally, there is no longer a `GuestMemory::get_slice()` (only
`get_slices()`), but the previous commits have already prepared for
that.
Signed-off-by: Hanna Czenczek <hreitz@redhat.com>
0 commit comments