ferros
ferros copied to clipboard
VSpace: Memory region kinds
In the initial VSpace implementation, pages had a type-level distinction regarding whether or not they were backed by device memory, the MemoryKind
. This should be added to memory regions in the new VSpace implementation.
This is a follow up to #9.
Branch memory_kind_reintroduction contains the relevant work thus far.