search

auxoncorp / ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.
https://ferros.auxon.io/
Apache License 2.0
107 stars 11 forks source link

VSpace: Memory region kinds #21

Open pittma opened 5 years ago

pittma commented 5 years ago

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.

ZackPierce commented 5 years ago

Branch memory_kind_reintroduction contains the relevant work thus far.