From db8ec81e9f54b696d3793e82e7e0cf5a2928fd91 Mon Sep 17 00:00:00 2001
From: Tomasz Gajewski <tomga@wp.pl>
Date: Wed, 1 Apr 2020 01:51:54 +0200
Subject: [PATCH] trace: log_output policy that redirects logs to trace

Issue #3714
---
 .../src/lib/trace/policy/log_output/policy.cc | 46 +++++++++++++++++++
 .../src/lib/trace/policy/log_output/target.mk |  5 ++
 2 files changed, 51 insertions(+)
 create mode 100644 repos/os/src/lib/trace/policy/log_output/policy.cc
 create mode 100644 repos/os/src/lib/trace/policy/log_output/target.mk

diff --git a/repos/os/src/lib/trace/policy/log_output/policy.cc b/repos/os/src/lib/trace/policy/log_output/policy.cc
new file mode 100644
index 000000000..1cf7c701f
--- /dev/null
+++ b/repos/os/src/lib/trace/policy/log_output/policy.cc
@@ -0,0 +1,46 @@
+#include <util/string.h>
+#include <trace/policy.h>
+
+using namespace Genode;
+
+size_t max_event_size()
+{
+	return 0;
+}
+
+size_t log_output(char *dst, char const *log_message, size_t len)
+{
+	memcpy(dst, (void*)log_message, len);
+	return len;
+}
+
+size_t rpc_call(char *dst, char const *rpc_name, Msgbuf_base const &)
+{
+	return 0;
+}
+
+size_t rpc_returned(char *dst, char const *rpc_name, Msgbuf_base const &)
+{
+	return 0;
+}
+
+size_t rpc_dispatch(char *dst, char const *rpc_name)
+{
+	return 0;
+}
+
+size_t rpc_reply(char *dst, char const *rpc_name)
+{
+	return 0;
+}
+
+size_t signal_submit(char *dst, unsigned const)
+{
+	return 0;
+}
+
+size_t signal_receive(char *dst, Signal_context const &, unsigned)
+{
+	return 0;
+}
+
diff --git a/repos/os/src/lib/trace/policy/log_output/target.mk b/repos/os/src/lib/trace/policy/log_output/target.mk
new file mode 100644
index 000000000..38f2844c0
--- /dev/null
+++ b/repos/os/src/lib/trace/policy/log_output/target.mk
@@ -0,0 +1,5 @@
+TARGET = log_output_policy
+
+TARGET_POLICY = log_output
+
+include $(PRG_DIR)/../policy.inc