From d01a10e32c2a083676e65e1ef6c387c38b356a05 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Tue, 1 Apr 2014 21:54:42 +0200
Subject: [PATCH] Remove debug messages

---
 kernel/src/scheduler.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/kernel/src/scheduler.cpp b/kernel/src/scheduler.cpp
index f5b1079c..22197f0d 100644
--- a/kernel/src/scheduler.cpp
+++ b/kernel/src/scheduler.cpp
@@ -866,9 +866,6 @@ scheduler::sleep_queue_ptr* scheduler::queue_ptr(scheduler::pid_t pid){
 void scheduler::block_process(){
     thor_assert(current_pid != idle_pid, "No reason to block the idle task");
     thor_assert(is_started(), "The scheduler is not started");
-
-    k_print_line(current_pid);
-    k_print_line(static_cast<size_t>(pcb[current_pid].state));
     
     size_t rflags;
     arch::disable_hwint(rflags);