History log of /seL4-refos-master/libs/libsel4allocman/src/mspace/vspace_pool.c
Revision Date Author Comments
# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 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