From 33ff8591f004f27937a784cedae095c497153b1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Mon, 4 Jul 2022 16:18:51 +0200
Subject: [PATCH] Genode::log cannot print objects of type std::chrono::*.

---
 repos/mml/src/app/posix_playground/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/mml/src/app/posix_playground/main.cc b/repos/mml/src/app/posix_playground/main.cc
index b0b021d419..55472f7b4b 100644
--- a/repos/mml/src/app/posix_playground/main.cc
+++ b/repos/mml/src/app/posix_playground/main.cc
@@ -24,7 +24,7 @@ class Posix_playground::Chrono_thread {
                 auto start = std::chrono::steady_clock::now();
                 std::this_thread::sleep_for(std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::milliseconds(_id * 1000)));
                 auto end = std::chrono::steady_clock::now();
-                Genode::log("Thread ", _id, " woke up after ", std::chrono::duration_cast<std::chrono::milliseconds>(end - start));
+                Genode::log("Thread ", _id, " woke up after ", std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count());
             }
         }
 };