genode/repos/base/src/core/include/trace
Norman Feske 0be6817226 Add 'Weak_ptr' to the public Genode API
So far, the lifetime-management utilities 'Weak_ptr' and 'Locked_ptr'
had been preserved for core-internal use only. However, the utilities
are handy for many use cases outside of core where object lifetimes
must be managed. So we promote them to the public API.
2014-08-11 15:55:32 +02:00
..
control_area.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
policy_registry.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
root.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
session_component.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
source_registry.h Add 'Weak_ptr' to the public Genode API 2014-08-11 15:55:32 +02:00
subject_registry.h Add 'Weak_ptr' to the public Genode API 2014-08-11 15:55:32 +02:00