Changes for nameservice. Use RPC client for NS functionality.
authorGerd Zellweger <zgerd@student.ethz.ch>
Wed, 22 Feb 2012 23:18:40 +0000 (00:18 +0100)
committerGerd Zellweger <zgerd@student.ethz.ch>
Wed, 22 Feb 2012 23:18:40 +0000 (00:18 +0100)
commit339715b72a2aca4d817603928501f9629e385f26
tree3204dcd907fa7affccd36f44eebfa1368ce4e607
parent37318f4301f758bc09f85df319d4a496edce6209
Changes for nameservice. Use RPC client for NS functionality.
hake/ArchDefaults.hs
include/barrelfish/core_state.h
include/barrelfish/domain.h
lib/barrelfish/Hakefile
lib/barrelfish/domain.c
lib/barrelfish/init.c
lib/barrelfish/nameservice_client.c
lib/dist2/parser/read.c [moved from lib/dist2/client/read.c with 100% similarity]
lib/posixcompat/Hakefile
lib/posixcompat/semaphore.c