diff --git a/repos/dde_linux/lib/mk/wifi.inc b/repos/dde_linux/lib/mk/wifi.inc index cfc1d6dff..13f91bbf5 100644 --- a/repos/dde_linux/lib/mk/wifi.inc +++ b/repos/dde_linux/lib/mk/wifi.inc @@ -3,8 +3,7 @@ LIB_INC_DIR = $(LIB_DIR)/include SHARED_LIB = yes -# FIXME should we *really* add dde_kit to this shared library? -LIBS += dde_kit libc-setjmp libc +LIBS += libc-setjmp libc LD_OPT += --version-script=$(LIB_DIR)/symbol.map diff --git a/repos/dde_linux/src/lib/libnl/lxcc_emul.cc b/repos/dde_linux/src/lib/libnl/lxcc_emul.cc index 26e67de37..5fecbd22a 100644 --- a/repos/dde_linux/src/lib/libnl/lxcc_emul.cc +++ b/repos/dde_linux/src/lib/libnl/lxcc_emul.cc @@ -348,7 +348,6 @@ extern unsigned long jiffies; time_t time(time_t *t) { - dde_kit_printf("%s:%d from: %p\n", __func__, __LINE__, __builtin_return_address(0)); return jiffies; } diff --git a/repos/dde_linux/src/lib/wifi/lxcc_emul.cc b/repos/dde_linux/src/lib/wifi/lxcc_emul.cc index 86ba44c22..71b88baca 100644 --- a/repos/dde_linux/src/lib/wifi/lxcc_emul.cc +++ b/repos/dde_linux/src/lib/wifi/lxcc_emul.cc @@ -1190,7 +1190,7 @@ int request_firmware_nowait(struct module *module, bool uevent, return -1; } - /* use dde_kit_large_malloc because our slab only goes up to 64KiB */ + /* use Genode env because our slab only goes up to 64KiB */ fw->data = (u8*)Genode::env()->heap()->alloc(fwl->size); if (!fw->data) { PERR("could not allocate memory for firmware image");