Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / capabilities / Hakefile
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.