diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 9935e40250..6fbb3d650e 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -234,6 +234,7 @@ static void frontend_psp_deinit(void *data)
 #ifndef IS_SALAMANDER
    verbosity_disable();
 #endif
+   pthread_terminate();
 }
 
 static void frontend_psp_shutdown(bool unused)