-/* Memory fill codes to help debugging */
-#if CONFIG_KERN_MONITOR
- #include <cpu/types.h>
- #if (SIZEOF_CPUSTACK_T == 1)
- /* 8bit cpustack_t */
- #define CONFIG_KERN_STACKFILLCODE 0xA5
- #define CONFIG_KERN_MEMFILLCODE 0xDB
- #elif (SIZEOF_CPUSTACK_T == 2)
- /* 16bit cpustack_t */
- #define CONFIG_KERN_STACKFILLCODE 0xA5A5
- #define CONFIG_KERN_MEMFILLCODE 0xDBDB
- #elif (SIZEOF_CPUSTACK_T == 4)
- /* 16bit cpustack_t */
- #define CONFIG_KERN_STACKFILLCODE 0xA5A5A5A5UL
- #define CONFIG_KERN_MEMFILLCODE 0xDBDBDBDBUL
- #elif (SIZEOF_CPUSTACK_T == 8)
- /* 16bit cpustack_t */
- #define CONFIG_KERN_STACKFILLCODE 0xA5A5A5A5A5A5A5A5UL
- #define CONFIG_KERN_MEMFILLCODE 0xDBDBDBDBDBDBDBDBUL
- #else
- #error No cpustack_t size supported!
- #endif
-#endif