--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/include/TaskManager/CellScheduler.h	Mon Nov 08 01:23:25 2010 +0900
@@ -0,0 +1,22 @@
+#ifndef INCLUDED_CELL_SCHEDULER
+#define INCLUDED_CELL_SCHEDULER
+
+#include "base.h"
+#include "Scheduler.h"
+
+class CellScheduler : public Scheduler {
+public:
+    BASE_NEW_DELETE(CellScheduler);
+
+    void init_impl(void);
+
+    void *allocate(int size);
+    void mainMem_alloc(int id, int size);
+    void mainMem_wait(void);
+    uint32 get_tag();
+
+private:
+    int mainMemNum;
+} ;
+
+#endif