diff --git a/repos/dde_rump/src/lib/rump/bootstrap.cc b/repos/dde_rump/src/lib/rump/bootstrap.cc index d412e6f17a..541720ff94 100644 --- a/repos/dde_rump/src/lib/rump/bootstrap.cc +++ b/repos/dde_rump/src/lib/rump/bootstrap.cc @@ -256,7 +256,6 @@ void rumpuser_dl_bootstrap(rump_modinit_fn domodinit, rump_symload_fn symload, _dl_init(curr_map, domodinit, compload); } } - log("BOOTSTRAP"); } diff --git a/repos/dde_rump/src/lib/rump/hypercall.cc b/repos/dde_rump/src/lib/rump/hypercall.cc index d09e70d629..e051431c8b 100644 --- a/repos/dde_rump/src/lib/rump/hypercall.cc +++ b/repos/dde_rump/src/lib/rump/hypercall.cc @@ -115,7 +115,6 @@ void rumpuser_seterrno(int e) { errno = e; } int rumpuser_init(int version, const struct rumpuser_hyperup *hyp) { - Genode::log("RUMP ver: ", version); if (version != SUPPORTED_RUMP_VERSION) { Genode::error("unsupported rump-kernel version (", version, ") - " "supported is ", (int)SUPPORTED_RUMP_VERSION);