/* Please ensure to read the configuration and relevant port sections of the online documentation. */
void init_main(void)
/* Please ensure to read the configuration and relevant port sections of the online documentation. */
void init_main(void)
{
    init_ipsbar(  );
    init_basics(  );
    init_clock_config(  );
    disable_interrupts(  );
    disable_watchdog_timer(  );
    disable_cache(  );
    init_chip_selects(  );
    init_bus_config(  );
    init_cache(  );
    init_eport(  );
    init_flexcan(  );
    init_power_management(  );
    init_dma_timers(  );
    init_interrupt_timers(  );
    init_watchdog_timers(  );
    init_pin_assignments(  );
    init_sdram_controller(  );
    init_interrupt_controller(  );
}