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 +#include + +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