genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-25 16:31:06 +00:00

Author	SHA1	Message	Date
Stefan Kalkowski	73c3a81e0b	base: make PD session upgradeable Ref #1443	2015-05-26 09:40:02 +02:00
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

Stefan Kalkowski

73c3a81e0b

base: make PD session upgradeable

Ref #1443

2015-05-26 09:40:02 +02:00

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