Rename struct slab_alloc to struct slab_allocator.
[barrelfish] / lib / barrelfish / vspace / pinned.c
2015-02-02 Simon GerberRename struct slab_alloc to struct slab_allocator.
2012-05-29 Samuel Hitzremoved #inluce <stdio.h>, since no debug printf's...
2012-05-22 Samuel Hitzkernel and userspace now working, removed some debug...
2012-05-11 Samuel Hitz- kernel ready
2011-07-18 Andrew Baumannfixes to enable compilation with ICC
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.