Replaced caddr_t type with capaddr_t to avoid conflict with libc
[barrelfish] / doc / 010-spec / init_cspace.dot
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.