From 4eda2deeb1c71f2318b36968e2d4e134103d0084 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Wed, 2 Jul 2014 15:44:38 +0200 Subject: [PATCH] ddekit: remove sleep_forever in dde_kit_debug The way this function is currently used in dde_linux expects this function to return. Since there is dde_kit_panic it should better be used in such a case the output should block. --- repos/os/src/lib/dde_kit/panic.cc | 3 --- 1 file changed, 3 deletions(-) diff --git a/repos/os/src/lib/dde_kit/panic.cc b/repos/os/src/lib/dde_kit/panic.cc index 538398170..68769914c 100644 --- a/repos/os/src/lib/dde_kit/panic.cc +++ b/repos/os/src/lib/dde_kit/panic.cc @@ -39,7 +39,4 @@ extern "C" void dde_kit_debug(const char *fmt, ...) Genode::vprintf(fmt, va); va_end(va); Genode::printf("\n"); - - /* XXX original implementation enters a kernel debugger here */ - Genode::sleep_forever(); }