proc_mgmt: make sure that exit message is sent before things are
[barrelfish] / README_ARRAKIS
2015-06-05 Simon GerberMerge of upstream arrakis code.