From 3b16ca421aad772e0f40716e2fc66215d322f7f7 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 12 May 2020 20:28:08 +0200
Subject: Still searching the bug...

And fixed many other small ones
---
 src/userspace/programs/init.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/userspace/programs/init.c')

diff --git a/src/userspace/programs/init.c b/src/userspace/programs/init.c
index 7a4900b..724d11e 100644
--- a/src/userspace/programs/init.c
+++ b/src/userspace/programs/init.c
@@ -34,9 +34,7 @@ void main()
 	// TODO: Fix page fault when mallocing
 	printf("Initializing userspace...\n");
 
-	// TODO: Find out, why processes change pid randomly
-	// TODO: Fix occasional race conditions with cli/sti
-	// TODO: Fix scheduler turning off at some point
+	// TODO: Fix scheduler turning off after spawn
 	spawn("/bin/sh");
 
 	printf("Looping in init\n");
-- 
cgit v1.2.3