Index: kernel/generic/src/synch/syswaitq.c
===================================================================
--- kernel/generic/src/synch/syswaitq.c	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
+++ kernel/generic/src/synch/syswaitq.c	(revision f4cb6c5fab0eeda943f0b98226bf10e76be11e76)
@@ -123,4 +123,20 @@
 }
 
+/** Destroy a waitq
+ *
+ * @param whandle  Waitq capability handle of the waitq to be destroyed.
+ *
+ * @return         Error code.
+ */
+sys_errno_t sys_waitq_destroy(cap_waitq_handle_t whandle)
+{
+	kobject_t *kobj = cap_unpublish(TASK, whandle, KOBJECT_TYPE_WAITQ);
+	if (!kobj)
+		return (sys_errno_t) ENOENT;
+	kobject_put(kobj);
+	cap_free(TASK, whandle);
+	return EOK;
+}
+
 /** Sleep in the waitq
  *