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