diff --git a/base/include/base/thread.h b/base/include/base/thread.h index a982d3335..08d693540 100644 --- a/base/include/base/thread.h +++ b/base/include/base/thread.h @@ -56,6 +56,7 @@ #include #include #include +#include #include #include /* for 'Ram_dataspace_capability' type */ #include /* for 'Thread_capability' type */ @@ -371,12 +372,18 @@ namespace Genode { /** * Log null-terminated string as trace event */ - static void trace(char const *); + static void trace(char const *cstring) + { + _logger()->log(cstring, strlen(cstring)); + } /** * Log binary data as trace event */ - static void trace(char const *, size_t len); + static void trace(char const *data, size_t len) + { + _logger()->log(data, len); + } /** * Log trace event as defined in base/trace.h