#
0016dfc6 |
|
13-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix all the whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of files
|
#
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.
|
#
902a096c |
|
18-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4allocman: Memory mapped device IO allocation support Adds support at the top level allocman interface for allocating objects at a particular physical address (allocman_utspace_alloc_at) as well as fullfilling allocations from 'device memory'. Uses this for implementing the additional vka interface function vka_utspace_alloc_at The split and twinkle untyped allocators are updated to support this new interface. split implements the 'alloc_at' by brute force searches over its untypeds, whilst twinkle with its lack of book keeping is forced to fail any 'alloc_at' request
|
#
14ab04c3 |
|
12-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4allocman: Make allocman 64-bit friendly When compiling for 32-bit there may be spurious warnings due to some interface type changes. These will eventually be fixed when other libraries are made 64-bit compatible
|