From: Simon Gerber <simon.gerber@inf.ethz.ch>
Date: Tue, 26 Sep 2017 10:27:00 +0000 (+0200)
Subject: Merge Razvan's process management code.
X-Git-Tag: release2017-10-12~22
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=95f92dd4760f9364cfba74eb670f1ee19da3921c

Merge Razvan's process management code.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
---

95f92dd4760f9364cfba74eb670f1ee19da3921c