genode

Author	SHA1	Message	Date
Norman Feske	cc437a5eca	Spelling fix in os/single_session_service.h	2019-08-21 13:35:52 +02:00
Norman Feske	6b94e65a95	os: avoid using deprecated APIs Issue #1987 Issue #3125	2019-01-30 13:49:54 +01:00
Norman Feske	29b8d609c9	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
Norman Feske	19868de69a	launcher: API transition (deprecated warnings) Issue #1987	2017-02-27 15:37:49 +01:00
Norman Feske	b44f0554bd	Adapt high-level components to new parent API This patch adjusts the various users of the 'Child' API to the changes on the account of the new non-blocking parent interface. It also removes the use of the no-longer-available 'Connection::KEEP_OPEN' feature. With the adjustment, we took the opportunity to redesign several components to fit the non-blocking execution model much better, in particular the demo applications. Issue #2120	2016-11-30 13:37:03 +01:00