--- a/TaskManager/kernel/main.cc	Tue Nov 20 15:44:17 2012 +0900
+++ b/TaskManager/kernel/main.cc	Sun Nov 25 21:10:50 2012 +0900
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 #include <string.h>
-#include <SDL.h>
+// #include <SDL.h>
 #include "TaskManager.h"
 
 /*!
@@ -49,7 +49,7 @@
             speIdle = atoi(argv[++i]);
         } else if (strcmp(argv[i], "-copy") == 0) { // force copy DMA in FifoManager
             useRefDma |= 0x01;
-        } else if (strcmp(argv[i], "-pre") == 0) {  // deplicated 
+        } else if (strcmp(argv[i], "-pre") == 0) {  // deplicated
             useRefDma |= 0x10;
         }
     }
@@ -61,25 +61,25 @@
 
     for (int i = 1; argv[i]; ++i) {
         if (strcmp(argv[i], "-help") == 0) {
-	  if (usr_help_str) {
-	    manager->get_scheduler()->printf("%s", usr_help_str);
-	  }
-	  manager->get_scheduler()->printf("%s", help_str);	    
-	  return EXIT_SUCCESS;
+          if (usr_help_str) {
+            manager->get_scheduler()->printf("%s", usr_help_str);
+          }
+          manager->get_scheduler()->printf("%s", help_str);
+          return EXIT_SUCCESS;
         }
     }
 
     if (profile)
-	manager->start_profile();
+        manager->start_profile();
     if (TMmain(manager, argc, argv) < 0) {
-	goto FINISH;
+        goto FINISH;
     }
 
     manager->run();
 
     (manager->tm_end)(manager);
     if (profile)
-	manager->show_profile();
+        manager->show_profile();
     if (export_task_log)
         manager->export_task_log();