Merge Razvan's process management code.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 26 Sep 2017 10:27:00 +0000 (12:27 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 26 Sep 2017 10:27:00 +0000 (12:27 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

1  2 
kernel/capabilities.c
platforms/Hakefile

Simple merge
Simple merge