diff --git a/kernel/include/scheduler.hpp b/kernel/include/scheduler.hpp
index 77d2588b..09357b6d 100644
--- a/kernel/include/scheduler.hpp
+++ b/kernel/include/scheduler.hpp
@@ -74,7 +74,7 @@ std::expected<pid_t> exec(const std::string& path, const std::vector<std::string
 /*!
  * \brief Kill the current process
  */
-void kill_current_process();
+void kill_current_process() __attribute__((noreturn));
 
 /*!
  * \brief Wait for the given process to terminate
diff --git a/kernel/src/system_calls.cpp b/kernel/src/system_calls.cpp
index dfc49dbe..a4125d8c 100644
--- a/kernel/src/system_calls.cpp
+++ b/kernel/src/system_calls.cpp
@@ -570,8 +570,8 @@ void sc_wait_for_packet_ms(interrupt::syscall_regs* regs){
     regs->rbx = reinterpret_cast<size_t>(user_buffer);
 }
 
+void sc_kill(interrupt::syscall_regs* /*regs*/) __attribute((noreturn));
 void sc_kill(interrupt::syscall_regs* /*regs*/){
-    //TODO Do something with return code
     scheduler::kill_current_process();
 }