STM407 port has working IVT.
[goodfet] / firmware / lib / stm32f407.c
index 603c0eb..10ec8f4 100644 (file)
@@ -6,6 +6,11 @@
 #include "platform.h"
 
 
+//! Count the length of a string.
+uint32_t strlen(const char *s){
+  return 0;
+}
+
 //! Initialize the STM32F4xx ports and USB.
 void stm32f4xx_init(){
   
@@ -42,3 +47,21 @@ void setbaud1(unsigned char rate){
 }
 
 
+//Declarations
+void nmi_handler(void);
+void hardfault_handler(void);
+int main(void);
+
+//From min.s
+void Reset_Handler(void);
+
+
+
+// Define the vector table
+unsigned int * myvectors[50] 
+   __attribute__ ((section("vectors")))= {
+       (unsigned int *)        0x20000800,             // stack pointer
+       (unsigned int *)        Reset_Handler,                  // code entry point
+       (unsigned int *)        main,           // NMI handler (not really)
+       (unsigned int *)        main,   // hard fault handler (let's hope not)  
+};