projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
readme: add NXP iMX8X to supported platforms
2017-08-31
Razvan Damachi
Merge branch 'master' of ssh://code.systems.ethz.ch...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Tidy up the process management test.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Clean up and document the process management code.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Change 'exit' from RPC to message in if/proc_mgmt.if.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Preallocate an L2 cnode and fill it with domain caps...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Fix typo in if/proc_mgmt.if
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Fix bug in libdomain/domain_cap_hash()
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
DIRTY benchmark commit
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Change proc_mgmt/pending_clients.h to use reply queues...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Add extra layer of queuing above the Flounder UMP one.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Remove the mutex-based event queuing in the process...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Fix a bug where pending cleanup clients wouldn't be...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Add per-spawnd message queues to the process manager.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Break the spawnd kill API into kill + cleanup.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Have the spawn interface for the process manager require...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Extract a through-monitor-only cap_identify call from...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Implement "wait" in the process manager + fix bug in...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Implement kill() and exit() in the process manager.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Implement kill_request_handler in spawnd, using domain...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Add spawn, spawn_with_caps and span calls to the Process...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Create "ProcessManager" and "Domain" capabilities.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
Refactor process manager to enable spawnd discovery.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
2017-08-31
Razvan Damachi
First outline of a process management service server.
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree