#
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
#
8630e524 |
|
27-Jul-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Add timer_objects helper functions
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
de9459a1 |
|
04-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4allocman: Fix typo in comment
|
#
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
|