diff --git a/repos/os/include/os/reporter.h b/repos/os/include/os/reporter.h index 90ecea50b..5c843ed33 100644 --- a/repos/os/include/os/reporter.h +++ b/repos/os/include/os/reporter.h @@ -25,9 +25,13 @@ namespace Genode { class Reporter; } class Genode::Reporter : Noncopyable { + public: + + typedef String<100> Name; + private: - String<100> const _name; + Name const _name; size_t const _buffer_size; @@ -66,6 +70,8 @@ class Genode::Reporter : Noncopyable bool is_enabled() const { return _enabled; } + Name name() const { return _name; } + /** * Return size of report buffer */