@@ -7,8 +7,31 | |||||
7 | #include "ccsds_types.h" |
|
7 | #include "ccsds_types.h" | |
8 | #include "stdint.h" |
|
8 | #include "stdint.h" | |
9 |
|
9 | |||
|
10 | /* | |||
|
11 | * RTEMS CONFIG | |||
|
12 | * | |||
|
13 | */ | |||
10 | #define GRSPW_DEVICE_NAME "/dev/grspw0" |
|
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 | // MACROS |
|
36 | // MACROS | |
14 | #ifdef PRINT_MESSAGES_ON_CONSOLE |
|
37 | #ifdef PRINT_MESSAGES_ON_CONSOLE |
General Comments 0
You need to be logged in to leave comments.
Login now