[Kernel] ExitThread should release held mutexes

2023-08-10 15:11:54 +03:00
parent 4b2c0f42ea
commit 01a7985324
3 changed files with 25 additions and 0 deletions
--- a/include/kernel/kernel.hpp
+++ b/include/kernel/kernel.hpp
@@ -34,6 +34,7 @@ class Kernel {

 	std::vector<KernelObject> objects;
 	std::vector<Handle> portHandles;
+	std::vector<Handle> mutexHandles;

 	// Thread indices, sorted by priority
 	std::vector<int> threadIndices;