| #
a1adf1d0 |
|
17-Jan-2019 |
James Ye <james.ye@data61.csiro.au> |
libsel4vka: "implement" utspace_paddr in nullvka
Also ensure the struct is zeroed, just in case.
|
| #
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
b4cc5484 |
|
19-Feb-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
SELFOUR-807: Add can_use_dev param for frame vka
This parameter allows the allocators to potentially use device untyped
objects for anonymous frame creation by setting to true.
|
| #
0f440ead |
|
18-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4vka: Add utspace_alloc_at to the vka interface
utspace_alloc_at is intended for allocating memory mapped device IO
regions.
|
| #
fd1e94e0 |
|
29-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4vka: 64-bit compatible types
Cleanup various debug printing to be size agnostic as well as change the types of
any cookies to be a seL4_Word instead of an explicit uint32_t
|