Changes for nameservice. Use RPC client for NS functionality.
[barrelfish] / hake / ArchDefaults.hs
2012-02-22 Gerd ZellwegerChanges for nameservice. Use RPC client for NS function...
2012-02-08 Gerd ZellwegerThis is currently work in progress. Started to remove...
2011-08-16 akhi akhi@inf.ethz.chApply the multihop patch by alexander grest based on...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.