Typo in Technical Note 010: Barrelfish Specification.
[barrelfish] / doc / 010-spec /
2012-05-05 Raphael FuchsTypo in Technical Note 010: Barrelfish Specification.
2012-02-03 Kornilios Kourtismerge newlib tree to current
2012-01-10 Simon GerberAdded possibility of running bibtex for tech notes.
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.