From 91ce57848ca3864d59efea42185ffc05085be878 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Sun, 10 Mar 2019 21:17:32 +0100
Subject: [PATCH] rtc_session: make timestamp printable

Issue #3438.
---
 repos/os/include/rtc_session/rtc_session.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/include/rtc_session/rtc_session.h b/repos/os/include/rtc_session/rtc_session.h
index ee8d5e835c..cc05311f58 100644
--- a/repos/os/include/rtc_session/rtc_session.h
+++ b/repos/os/include/rtc_session/rtc_session.h
@@ -35,6 +35,12 @@ struct Rtc::Timestamp
 	unsigned day;
 	unsigned month;
 	unsigned year;
+
+	void print(Genode::Output &out) const
+	{
+		Genode::print(out, year, "-", month, "-", day, " ",
+		              hour, ":", minute, ":", second);
+	}
 };