void platform_init_mcu_infrastructure( void ) { uint8_t i; #ifdef INTERRUPT_VECTORS_IN_RAM SCB->VTOR = 0x20000000; /* Change the vector table to point to start of SRAM */ #endif /* ifdef INTERRUPT_VECTORS_IN_RAM */ /* Initialise watchdog */ platform_watchdog_init( ); /* Initialise interrupt priorities */ for ( i = 0; i < 35; i++ ) { NVIC_SetPriority( i, 0xf ); } //NVIC_PriorityGroupConfig( NVIC_PriorityGroup_4 ); /* set priority grouping inside cpu core */ SCB->AIRCR = AIRCR_VECTKEY_MASK | NVIC_PriorityGroup_4; platform_init_rtos_irq_priorities(); platform_init_peripheral_irq_priorities(); #ifndef WICED_DISABLE_MCU_POWERSAVE /* Initialise MCU powersave */ platform_mcu_powersave_init( ); platform_mcu_powersave_disable( ); /* Initialise RTC */ // platform_rtc_init( ); #endif /* ifndef WICED_DISABLE_MCU_POWERSAVE */ }
void platform_init_mcu_infrastructure( void ) { if ( bcm439x_platform_inited == 1 ) { return; } platform_apps_core_init(); platform_mcu_powersave_disable( ); #ifndef WICED_DISABLE_WATCHDOG platform_watchdog_init( ); #endif platform_init_rtos_irq_priorities( ); platform_init_peripheral_irq_priorities( ); /* Initialise GPIO IRQ manager */ platform_gpio_irq_manager_init(); /* Initialise external serial flash */ platform_sflash_init(); bcm439x_platform_inited = 1; }
void platform_init_mcu_infrastructure( void ) { uint8_t i; #ifdef INTERRUPT_VECTORS_IN_RAM SCB->VTOR = 0x20000000; /* Change the vector table to point to start of SRAM */ #endif /* ifdef INTERRUPT_VECTORS_IN_RAM */ /* Initialise watchdog */ platform_watchdog_init( ); /* Initialise interrupt priorities */ for ( i = 0; i < 81; i++ ) { NVIC_SetPriority( (IRQn_Type) i, 0xf ); } NVIC_PriorityGroupConfig( NVIC_PriorityGroup_4 ); platform_init_rtos_irq_priorities(); platform_init_peripheral_irq_priorities(); /* Initialise GPIO IRQ manager */ platform_gpio_irq_manager_init(); #ifndef WICED_DISABLE_MCU_POWERSAVE /* Initialise MCU powersave */ platform_mcu_powersave_init( ); platform_mcu_powersave_disable( ); /* Initialise RTC */ platform_rtc_init( ); #endif /* ifndef WICED_DISABLE_MCU_POWERSAVE */ }
OSStatus MicoWdgInitialize( uint32_t timeout ) { return (OSStatus) platform_watchdog_init( timeout ); }