git.barrelfish.org Git - barrelfish/commit

author	Adam Turowski <adam.turowski@inf.ethz.ch>
	Tue, 26 Jul 2016 08:22:50 +0000 (10:22 +0200)
committer	Adam Turowski <adam.turowski@inf.ethz.ch>
	Tue, 26 Jul 2016 08:22:50 +0000 (10:22 +0200)
commit	d328987d7cfe0e7ff830187c562791d2fe83d925
tree	412b1baaf7dfd32def74c07cb7ddb78e82600f17	tree \| snapshot
parent	5ce0589332e3dc03b0f491eafe18a988790db229	commit \| diff

Multi-threaded waitsets, tokens added to IPC messages.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

24 files changed:

include/barrelfish/barrelfish.h		diff \| blob \| history
include/barrelfish/dispatcher.h		diff \| blob \| history
include/barrelfish/lmp_chan.h		diff \| blob \| history
include/barrelfish/threads.h		diff \| blob \| history
include/barrelfish/ump_chan.h		diff \| blob \| history
include/barrelfish/ump_endpoint.h		diff \| blob \| history
include/barrelfish/ump_impl.h		diff \| blob \| history
include/barrelfish/waitset.h		diff \| blob \| history
include/barrelfish_kpi/dispatcher_shared.h		diff \| blob \| history
include/flounder/flounder.h		diff \| blob \| history
include/flounder/flounder_support.h		diff \| blob \| history
include/flounder/flounder_support_lmp.h		diff \| blob \| history
include/flounder/flounder_support_ump.h		diff \| blob \| history
lib/barrelfish/dispatch.c		diff \| blob \| history
lib/barrelfish/flounder_support.c		diff \| blob \| history
lib/barrelfish/include/threads_priv.h		diff \| blob \| history
lib/barrelfish/include/waitset_chan_priv.h		diff \| blob \| history
lib/barrelfish/lmp_chan.c		diff \| blob \| history
lib/barrelfish/lmp_endpoints.c		diff \| blob \| history
lib/barrelfish/multihop_chan.c		diff \| blob \| history
lib/barrelfish/threads.c		diff \| blob \| history
lib/barrelfish/ump_chan.c		diff \| blob \| history
lib/barrelfish/ump_endpoint.c		diff \| blob \| history
lib/barrelfish/waitset.c		diff \| blob \| history

Barrelfish OS git repo