diff --git a/recipes/pkg/jitter_sponge/runtime b/recipes/pkg/jitter_sponge/runtime index 453dc68..06db16b 100644 --- a/recipes/pkg/jitter_sponge/runtime +++ b/recipes/pkg/jitter_sponge/runtime @@ -1,12 +1,5 @@ - - - - - - - + - diff --git a/src/server/jitter_sponge/component.cc b/src/server/jitter_sponge/component.cc index c758366..2f811bd 100644 --- a/src/server/jitter_sponge/component.cc +++ b/src/server/jitter_sponge/component.cc @@ -145,12 +145,13 @@ class Jitter_sponge::Session_component final : public Genode::Rpc_object