From b0fb03e87b1c1257180b5c463736f76a293790f8 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Sat, 8 Feb 2014 12:10:45 +0100
Subject: [PATCH] Prepare GC task

---
 kernel/src/scheduler.cpp | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/kernel/src/scheduler.cpp b/kernel/src/scheduler.cpp
index 98b80de8..2a2319ca 100644
--- a/kernel/src/scheduler.cpp
+++ b/kernel/src/scheduler.cpp
@@ -65,6 +65,12 @@ void idle_task(){
     }
 }
 
+void gc_task(){
+    while(true){
+        //TODO
+    }
+}
+
 //TODO tsh should be configured somewhere
 void init_task(){
     while(true){
@@ -83,6 +89,9 @@ char idle_kernel_stack[scheduler::kernel_stack_size];
 char init_stack[scheduler::user_stack_size];
 char init_kernel_stack[scheduler::kernel_stack_size];
 
+char gc_stack[scheduler::user_stack_size];
+char gc_kernel_stack[scheduler::kernel_stack_size];
+
 scheduler::process_t& new_process(){
     //TODO use get_free_pid() that searchs through the PCB
     auto pid = next_pid++;
@@ -154,11 +163,20 @@ void create_init_task(){
     auto& init_process = create_kernel_task(init_stack, init_kernel_stack, &init_task);
 
     init_process.ppid = 0;
-    init_process.priority = scheduler::MIN_PRIORITY;
+    init_process.priority = scheduler::MIN_PRIORITY + 1;
 
     queue_process(init_process.pid);
 }
 
+void create_gc_task(){
+    auto& gc_process = create_kernel_task(gc_stack, gc_kernel_stack, &gc_task);
+
+    gc_process.ppid = 1;
+    gc_process.priority = scheduler::MIN_PRIORITY + 1;
+
+    queue_process(gc_process.pid);
+}
+
 void switch_to_process(size_t pid){
     auto old_pid = current_pid;
     current_pid = pid;