@@ -7,8 +7,31 | |||
|
7 | 7 | #include "ccsds_types.h" |
|
8 | 8 | #include "stdint.h" |
|
9 | 9 | |
|
10 | /* | |
|
11 | * RTEMS CONFIG | |
|
12 | * | |
|
13 | */ | |
|
10 | 14 | #define GRSPW_DEVICE_NAME "/dev/grspw0" |
|
11 | 15 | |
|
16 | #define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER | |
|
17 | #define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER | |
|
18 | ||
|
19 | #define CONFIGURE_MAXIMUM_TASKS 23 // number of tasks concurrently active including INIT | |
|
20 | #define CONFIGURE_RTEMS_INIT_TASKS_TABLE | |
|
21 | #define CONFIGURE_EXTRA_TASK_STACKS (3 * RTEMS_MINIMUM_STACK_SIZE) | |
|
22 | #define CONFIGURE_LIBIO_MAXIMUM_FILE_DESCRIPTORS 32 | |
|
23 | #define CONFIGURE_INIT_TASK_PRIORITY 1 // instead of 100 | |
|
24 | #define CONFIGURE_INIT_TASK_MODE (RTEMS_DEFAULT_MODES | RTEMS_NO_PREEMPT) | |
|
25 | #define CONFIGURE_INIT_TASK_ATTRIBUTES (RTEMS_DEFAULT_ATTRIBUTES | RTEMS_FLOATING_POINT) | |
|
26 | #define CONFIGURE_MAXIMUM_DRIVERS 16 | |
|
27 | #define CONFIGURE_MAXIMUM_PERIODS 6 // [hous] [load] [avgv] | |
|
28 | #define CONFIGURE_MAXIMUM_TIMERS 6 // [spiq] [link] [spacewire_reset_link] | |
|
29 | #define CONFIGURE_MAXIMUM_MESSAGE_QUEUES 5 | |
|
30 | #ifdef PRINT_STACK_REPORT | |
|
31 | #define CONFIGURE_STACK_CHECKER_ENABLED | |
|
32 | #endif | |
|
33 | ||
|
34 | ||
|
12 | 35 | //******* |
|
13 | 36 | // MACROS |
|
14 | 37 | #ifdef PRINT_MESSAGES_ON_CONSOLE |
General Comments 0
You need to be logged in to leave comments.
Login now