From 1ec7d103a2db7bdcefc5070b5cc5fcb4ead0342a Mon Sep 17 00:00:00 2001
From: Sparchatus <sparchatus@sparchatus.ch>
Date: Mon, 28 Mar 2022 16:06:59 +0000
Subject: [PATCH] Also remove dispatchers from wakeup when killing

---
 kernel/arch/armv8/syscall.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kernel/arch/armv8/syscall.c b/kernel/arch/armv8/syscall.c
index 8a306ef..bef9ab6 100644
--- a/kernel/arch/armv8/syscall.c
+++ b/kernel/arch/armv8/syscall.c
@@ -33,6 +33,7 @@
 #include <arch/arm/platform.h>
 #include <arch/arm/syscall_arm.h>
 #include <serial.h>
+#include <wakeup.h>
 
 // helper macros  for invocation handler definitions
 #define INVOCATION_HANDLER(func) \
@@ -91,7 +92,9 @@ handle_dispatcher_stop(
 {
     assert(argc == 2);
 
+    // TODO rueegges: kill using capability deletion once it is ready for last delete?
     scheduler_remove(to->u.dispatcher.dcb);
+    wakeup_remove(to->u.dispatcher.dcb);
 
     return SYSRET(SYS_ERR_OK);
 }