From 1f7fc2274ac5b3a985f1bf7f59ca21f27d67a53a Mon Sep 17 00:00:00 2001
From: wheremyfoodat <44909372+wheremyfoodat@users.noreply.github.com>
Date: Sat, 4 Nov 2023 18:28:28 +0200
Subject: [PATCH] Add vector of timer handles

---
 include/kernel/kernel.hpp  | 1 +
 src/core/kernel/kernel.cpp | 1 +
 src/core/kernel/timers.cpp | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/kernel/kernel.hpp b/include/kernel/kernel.hpp
index dc821a68..30f1310e 100644
--- a/include/kernel/kernel.hpp
+++ b/include/kernel/kernel.hpp
@@ -36,6 +36,7 @@ class Kernel {
 	std::vector<KernelObject> objects;
 	std::vector<Handle> portHandles;
 	std::vector<Handle> mutexHandles;
+	std::vector<Handle> timerHandles;
 
 	// Thread indices, sorted by priority
 	std::vector<int> threadIndices;
diff --git a/src/core/kernel/kernel.cpp b/src/core/kernel/kernel.cpp
index b21c4c58..cd691b48 100644
--- a/src/core/kernel/kernel.cpp
+++ b/src/core/kernel/kernel.cpp
@@ -148,6 +148,7 @@ void Kernel::reset() {
 	}
 	objects.clear();
 	mutexHandles.clear();
+	timerHandles.clear();
 	portHandles.clear();
 	threadIndices.clear();
 	serviceManager.reset();
diff --git a/src/core/kernel/timers.cpp b/src/core/kernel/timers.cpp
index c6097ed7..a9c95292 100644
--- a/src/core/kernel/timers.cpp
+++ b/src/core/kernel/timers.cpp
@@ -9,7 +9,7 @@ Handle Kernel::makeTimer(ResetType type) {
 		Helpers::panic("Created pulse timer");
 	}
 
-	// timerHandles.push_back(ret);
+	timerHandles.push_back(ret);
 	return ret;
 }