diff --git a/dde_rump/src/lib/rump/dummies.cc b/dde_rump/src/lib/rump/dummies.cc
index 953e13b4d..cd7a3e7f9 100644
--- a/dde_rump/src/lib/rump/dummies.cc
+++ b/dde_rump/src/lib/rump/dummies.cc
@@ -36,7 +36,6 @@ DUMMY(-1, rumpuser_close)
 DUMMY(-1, rumpuser_daemonize_begin)
 DUMMY(-1, rumpuser_daemonize_done)
 DUMMY(-1, rumpuser_dprintf)
-DUMMY(-1, rumpuser_exit)
 DUMMY(-1, rumpuser_iovread)
 DUMMY(-1, rumpuser_iovwrite)
 DUMMY(-1, rumpuser_kill)
diff --git a/dde_rump/src/lib/rump/hypercall.cc b/dde_rump/src/lib/rump/hypercall.cc
index 004212817..617ae9cba 100644
--- a/dde_rump/src/lib/rump/hypercall.cc
+++ b/dde_rump/src/lib/rump/hypercall.cc
@@ -291,3 +291,17 @@ int rumpuser_getrandom(void *buf, size_t buflen, int flags, size_t *retp)
 	return 0;
 }
 
+
+/**********
+ ** Exit **
+ **********/
+
+void genode_exit(int) __attribute__((noreturn));
+
+void rumpuser_exit(int status)
+{
+	if (status == RUMPUSER_PANIC)
+		PERR("Rump panic");
+
+	genode_exit(status);
+}