|
-
-
- #include <stdint.h>
-
- extern void ResetHandler(void);
- extern unsigned long _estack;
- extern unsigned long _flashimagelen;
-
-
-
- __attribute__ ((section(".bootdata"), used))
- const uint32_t BootData[3] = {
- 0x60000000,
- (uint32_t)&_flashimagelen,
- 0
- };
-
-
- __attribute__ ((section(".csf"), used))
- const uint32_t hab_csf[768];
-
-
- __attribute__ ((section(".ivt"), used))
- const uint32_t ImageVectorTable[8] = {
- 0x432000D1,
- (uint32_t)&ResetHandler,
- 0,
- 0,
- (uint32_t)BootData,
- (uint32_t)ImageVectorTable,
- (uint32_t)hab_csf,
- 0
- };
-
- __attribute__ ((section(".flashconfig"), used))
- uint32_t FlexSPI_NOR_Config[128] = {
-
-
- 0x42464346,
- 0x56010000,
- 0,
- 0x00020101,
-
- 0x00000000,
- 0,
- 0,
- 0x00000000,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0x00000000,
- 0x00030401,
- 0,
- 0,
-
- #if defined(ARDUINO_TEENSY40)
- 0x00200000,
- #elif defined(ARDUINO_TEENSY41)
- 0x00800000,
- #elif defined(ARDUINO_TEENSY_MICROMOD)
- 0x01000000,
- #else
- #error "Unknow flash chip size";
- #endif
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0x00000000,
-
- 0x0A1804EB,
- 0x26043206,
- 0,
- 0,
-
- 0x24040405,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0x00000406,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0x08180420,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0x081804D8,
- 0,
- 0,
- 0,
-
- 0x08180402,
- 0x00002004,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0x00000460,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
-
-
- 256,
- 4096,
- 1,
- 0,
-
- 0x00010000,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0,
-
- 0,
- 0,
- 0,
- 0
- };
|