blob: f9854530d05fceaf52e74a2587a7f9f27422ef98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
#include <stdlib.h>
int main(int argc, char **argv);
static char *argv_list[] = {
"psx_sched_report",
""
};
static void *POSIX_Init(void *arg)
{
(void) arg; /* deliberately ignored */
/*
* Initialize optional services
*/
/*
* Could get arguments from command line or have a static set.
*/
(void) main(1, argv_list);
return NULL;
}
#include <bsp.h> /* for device driver prototypes */
/* NOTICE: the clock driver is explicitly disabled */
#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER
#define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER
#define CONFIGURE_POSIX_INIT_THREAD_TABLE
#define CONFIGURE_UNLIMITED_OBJECTS
#define CONFIGURE_UNIFIED_WORK_AREAS
#define CONFIGURE_MINIMUM_TASK_STACK_SIZE (64 * 1024)
#define CONFIGURE_INIT
#include <rtems/confdefs.h>
|
