comparison TaskManager/kernel/main.cc @ 321:f64d75473f95

merge 317
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 10 Jun 2009 15:23:25 +0900
parents 7efc5ede2c03
children a4f690f44842
comparison
equal deleted inserted replaced
320:776c125af0b2 321:f64d75473f95
1 #include <stdlib.h> 1 #include <stdlib.h>
2 #include <string.h> 2 #include <string.h>
3 #include <SDL.h> 3 #include <SDL.h>
4 #include "TaskManager.h" 4 #include "TaskManager.h"
5
6 /*!
7 User が書いた TMmain() (*名前は固定) を実行する
8 */
5 9
6 /* User main function */ 10 /* User main function */
7 extern int TMmain(int argc, char *argv[]); 11 extern int TMmain(int argc, char *argv[]);
8 12
9 /* Default TMend function */ 13 /* Default TMend function */
10 static void 14 static void
11 defaultTMend(void) {} 15 defaultTMend(void) {}
12 16
13 TaskManager *manager; 17 TaskManager *manager;
18
19 /*!
20 const char *usr_help_str を User 側で指定する必要がある
21 -help で出力される文字列
22 */
14 const char *help_str = "\n\ 23 const char *help_str = "\n\
15 * Cerium program option *\n\ 24 * Cerium program option *\n\
16 -help Print this message \n\ 25 -help Print this message \n\
17 -cpu Number of CPU (default 1) \n"; 26 -cpu Number of CPU (default 1) \n";
18 27