ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-01 19:46:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
5,143 Commits 2 Branches 70 Tags 87 MiB
ad2d1fe586
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
e91170a49c app/cli_monitor: API transition 
Besides updating CLI monitor to the new API, the patch removes
Fiasco.OC-specific extensions that remained unused for a long time.

Ref #1987
 2017-01-13 13:07:00 +01:00
Norman Feske
b2b5d1b2d2 os: make reusable cli_monitor headers public 
The child handling as done by CLI monitor is worth reusing. Hence, this
patch moves the corresponding headers to 'os/include/cli_monitor/'.
 2014-10-13 15:21:54 +02:00