Log - 3b92d1e71e782f0b5718deeaafe2f48219d201c2 - 3p/sel4/sel4_libs - Git at Google

4076790 libsel4allocman: Add missing stdlib.h includes for using size_t by Adrian Danis · 9 years ago
e3c10a6 libsel4allocman: Correct bugs in previous 64-bit compatibility commit by Adrian Danis · 9 years ago
14ab04c libsel4allocman: Make allocman 64-bit friendly by Adrian Danis · 9 years ago
9d44647 Add 'libsel4allocman/' from commit '1463de68754794b3292dda42e181cc598b9b3323' by Anna Lyons · 9 years ago