First outline of a process management service server.
authorRazvan Damachi <razvan.damachi@gmail.com>
Thu, 1 Jun 2017 15:35:31 +0000 (17:35 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:07 +0000 (16:35 +0200)
commitdf2c21c495263df24236cc687e0d47fa4d362386
tree09be862d799a1006cebc46cffed3fadcb6dd0d12
parent215ac124453c2e74007faba6e4943e04fca243dd
First outline of a process management service server.

Right now, the server only has an "alloc_ep" call which the monitor will be
able to use to request connection for spawnd (for all monitors, all spawnds).
The server is not yet run by the monitor, but that should happen somewhere
along the initialization steps on the BSP core.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
hake/menu.lst.x86_64
if/Hakefile
if/proc_mgmt.if [new file with mode: 0644]
include/barrelfish/proc_mgmt_client.h [new file with mode: 0644]
lib/barrelfish/Hakefile
lib/barrelfish/proc_mgmt_client.c [new file with mode: 0644]
platforms/Hakefile
usr/proc_mgmt/Hakefile [new file with mode: 0644]
usr/proc_mgmt/internal.h [new file with mode: 0644]
usr/proc_mgmt/main.c [new file with mode: 0644]
usr/proc_mgmt/service.c [new file with mode: 0644]