@@ -44,7 +44,7 | |||
|
44 | 44 | #define COUNTER_MASK_IURF 0xffffc7ff // 1111 1111 1111 1111 1100 0111 1111 1111 |
|
45 | 45 | |
|
46 | 46 | volatile unsigned int *asr16Ptr = (volatile unsigned int *) ASR16_REG_ADDRESS; |
|
47 | ||
|
47 | #ifdef ENABLE_DEAD_CODE | |
|
48 | 48 | static inline void flushCache() |
|
49 | 49 | { |
|
50 | 50 | /** |
@@ -57,6 +57,7 static inline void flushCache() | |||
|
57 | 57 | |
|
58 | 58 | asm("flush"); |
|
59 | 59 | } |
|
60 | #endif | |
|
60 | 61 | |
|
61 | 62 | //*************************** |
|
62 | 63 | // CCR Cache control register |
@@ -66,7 +66,7 option(FSW_Enable_Dead_Code "Enable dead | |||
|
66 | 66 | set(SW_VERSION_N1 "3" CACHE STRING "Choose N1 FSW Version." FORCE) |
|
67 | 67 | set(SW_VERSION_N2 "2" CACHE STRING "Choose N2 FSW Version." FORCE) |
|
68 | 68 | set(SW_VERSION_N3 "0" CACHE STRING "Choose N3 FSW Version." FORCE) |
|
69 |
set(SW_VERSION_N4 "2 |
|
|
69 | set(SW_VERSION_N4 "23" CACHE STRING "Choose N4 FSW Version." FORCE) | |
|
70 | 70 | |
|
71 | 71 | if(FSW_verbose) |
|
72 | 72 | add_definitions(-DPRINT_MESSAGES_ON_CONSOLE) |
General Comments 0
You need to be logged in to leave comments.
Login now