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.
This commit is contained in:
Josef Söntgen 2014-07-02 15:44:38 +02:00 committed by Christian Helmuth
parent 969cebc659
commit 4eda2deeb1

View File

@ -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();
}