| #
8b5a420f |
|
21-Jun-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4camkes: Add an abstraction for representing virtual memory regions.
This commit adds some declarations that implement something similar to Linux's
`vm_region` struct. The motivation for this commit is to provide support for
upcoming code to inspect a component instance's virtual address space.
JIRA: CAMKES-462
|