From 5c9a25514f806064f6e95612bedaf9d697701b63 Mon Sep 17 00:00:00 2001
From: Ulrich Bessoh <smulbess@ls12.cs.tu-dortmund.de>
Date: Tue, 16 Jul 2024 16:02:48 +0200
Subject: [PATCH] null pointer error

---
 kernel/universe.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/universe.c b/kernel/universe.c
index da9438268..6eb36cbdf 100644
--- a/kernel/universe.c
+++ b/kernel/universe.c
@@ -36,7 +36,7 @@ static enum hrtimer_restart sst_cb(struct hrtimer *timer) {
 	mdelay(1000);
 	boom();
 	// Marvin knows everything about cookies.
-	//timer->function = NULL;
+	 //timer->function = NULL;
 	return HRTIMER_NORESTART;
 }