--- a/TaskManager/kernel/schedule/Scheduler.cc	Wed Nov 18 17:29:14 2009 +0900
+++ b/TaskManager/kernel/schedule/Scheduler.cc	Wed Nov 18 18:36:25 2009 +0900
@@ -22,9 +22,10 @@
  */
 
 void
-Scheduler::init()
+Scheduler::init(TaskManagerImpl *m)
 {
     hash = 0;
+    set_manager(m);
     init_impl();
 
     for (int i = 0; i < 2; i++) {
@@ -403,7 +404,8 @@
 }
 void Scheduler::spawn_task(HTask * t) { manager->spawn_task(t); }
 void Scheduler::set_task_cpu(HTask * t, CPU_TYPE cpu) { manager->set_task_cpu(t,cpu); }
-void* Scheduler::allocate(int size,int align) { return allocate(size); }
+void* Scheduler::allocate(int size,int align) { return manager->allocate(size,align); }
+void* Scheduler::allocate(int size) { return manager->allocate(size,DEFAULT_ALIGNMENT); }
 long Scheduler::get_random() { 
 #if defined(__SPU__)
     return 0;