Merge remote-tracking branch 'origin/proc_mgmt_unify' release2017-10-12
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 15:35:41 +0000 (17:35 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 15:35:41 +0000 (17:35 +0200)
Unified way of spawning processes through the process manger
instead of directly using spawnd

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>


Trivial merge