#
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
4ed4e0ac |
|
28-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Remove assumptions about the 0 paddr being invalid There is no way to prevent platforms from having interesting memory or devices at paddr 0, as such we should not be using 0 to signal the absence of a physical address. This change fixes some cases where we were doing this, and switches to sentinal value that cannot collide with a valid page base physical address.
|
#
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
|