diff --git a/repos/libports/src/lib/qemu-usb/qemu_emul.cc b/repos/libports/src/lib/qemu-usb/qemu_emul.cc index 6713483731..90779388f7 100644 --- a/repos/libports/src/lib/qemu-usb/qemu_emul.cc +++ b/repos/libports/src/lib/qemu-usb/qemu_emul.cc @@ -95,7 +95,9 @@ void *memset(void *s, int c, size_t n) { void free(void *p) { - Genode::env()->heap()->free(p, 0); } + if (!p) return; + Genode::env()->heap()->free(p, 0); +} void q_printf(char const *fmt, ...)