genode

Author	SHA1	Message	Date
Norman Feske	eaac3cc1bd	Revised API documentation This patch curates the API documentation to become suitable for the functional specificaton, which is partially generated from the header files.	2015-04-09 16:04:46 +02: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

Author

SHA1

Message

Date

Norman Feske

eaac3cc1bd

Revised API documentation

This patch curates the API documentation to become suitable for the
functional specificaton, which is partially generated from the header
files.

2015-04-09 16:04:46 +02: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