T155: libbarrelfish: update copyright notice for event_queue.{c,h}
[barrelfish] / lib / barrelfish / event_queue.c
2015-08-17 Moritz HoffmannT155: libbarrelfish: update copyright notice for event_...
2015-08-17 Moritz HoffmannT155: libbarrelfish: Implement event_queue_flush
2014-12-17 Zaheer Chothiaevent queue: document unsafety for cross-core messaging.
2014-12-17 Zaheer Chothiaevent queue: fix typo and potential race condition.
2014-10-20 Simon GerberMerge branch 'master' into master-into-distops
2014-08-20 Stefan KaestleSecond set of patches for Bulk Transfer DSL project
2013-07-31 Simon GerberAdded exception for CHAN_ALREADY_REGISTERED error in...
2012-10-25 Raphael Fuchslibbarrelfish: Spilt private waitset_chan.h header...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.