diff --git a/os/mingw.c b/os/mingw.c
index eb282ac0..5066bc82 100644
--- a/os/mingw.c
+++ b/os/mingw.c
@@ -2774,6 +2774,18 @@ int os_term(pid_t pid)
 	return 0;
 }
 
+int os_kill(pid_t pid)
+{
+	HANDLE h = (void*)pid;
+
+	if (!TerminateProcess(h, 1)) {
+		windows_errno(GetLastError());
+		return -1;
+	}
+
+	return 0;
+}
+
 int os_command(const char* command, const char* run_as_user, const char* stdin_text)
 {
 	wchar_t conv[CONV_MAX];
diff --git a/os/os.h b/os/os.h
index 16e4bbd1..a1f822b9 100644
--- a/os/os.h
+++ b/os/os.h
@@ -140,6 +140,13 @@ pid_t os_wait(pid_t pid, int* status);
  */
 int os_term(pid_t pid);
 
+/**
+ * Forcibly terminate a process.
+ * \param pid Process ID of the process to kill.
+ * \return 0 on success, -1 on failure.
+ */
+int os_kill(pid_t pid);
+
 /**
  * Fork and execute a verified executable, discarding all I/O.
  *
diff --git a/os/unix.c b/os/unix.c
index a762f6fa..83d9a1f1 100644
--- a/os/unix.c
+++ b/os/unix.c
@@ -1308,6 +1308,12 @@ int os_term(pid_t pid)
 	return kill(-pid, SIGTERM);
 }
 
+int os_kill(pid_t pid)
+{
+	/* Send SIGKILL signal to the negative PID to target the entire Process Group */
+	return kill(-pid, SIGKILL);
+}
+
 int os_spawn_and_wait(const char** argv)
 {
 	pid_t pid = os_spawn((char**)argv, 0, 0, 0);