From cd5ccc28674ed5162abeda9988ac53f55f460062 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Wed, 28 Mar 2018 09:09:26 +0200
Subject: [PATCH] Add debug message

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

diff --git a/kernel/src/scheduler.cpp b/kernel/src/scheduler.cpp
index 1e58cba9..4193d06c 100644
--- a/kernel/src/scheduler.cpp
+++ b/kernel/src/scheduler.cpp
@@ -695,6 +695,8 @@ void scheduler::init(){
 }
 
 void scheduler::start(){
+    logging::log(logging::log_level::TRACE, "scheduler: starting\n");
+
     // TODO The current_pid should be set dynamically to the task in the list
     // with highest priority