/* * File : startup.c * This file is part of RT-Thread RTOS * COPYRIGHT (C) 2006, RT-Thread Develop Team * * The license and distribution terms for this file may be * found in the file LICENSE in this distribution or at * http://www.rt-thread.org/license/LICENSE * * Change Logs: * Date Author Notes * 2010-06-25 Bernard first version */ #include #include #include #include "board.h" #define A_K0BASE 0x80000000 /** * @addtogroup Loongson SoC3210 */ /*@{*/ extern unsigned char __bss_start; extern unsigned char __bss_end; extern int rt_application_init(void); void dump_mem(const unsigned char* addr) { int size; rt_kprintf("---- memory: 0x%08x ----\n", addr); for (size = 0; size < 32 * 4; size ++) { rt_kprintf("%02x ", (*addr) & 0xff); addr ++; if ((size + 1) % 16 == 0) rt_kprintf("\n"); } rt_kprintf("\n"); } extern void tlb_refill_exception(void); extern void general_exception(void); extern void irq_exception(void); /** * This function will startup RT-Thread RTOS. */ void rtthread_startup(void) { /* init cache */ rt_hw_cache_init(); /* init hardware interrupt */ rt_hw_interrupt_init(); /* copy vector */ memcpy((void *)A_K0BASE, tlb_refill_exception, 0x20); memcpy((void *)(A_K0BASE + 0x180), general_exception, 0x20); memcpy((void *)(A_K0BASE + 0x200), irq_exception, 0x20); /* init board */ rt_hw_board_init(); rt_show_version(); /* init tick */ rt_system_tick_init(); /* init timer system */ rt_system_timer_init(); #ifdef RT_USING_HEAP rt_system_heap_init((void*)&__bss_end, (void*)RT_HW_HEAP_END); #endif /* init scheduler system */ rt_system_scheduler_init(); #ifdef RT_USING_DEVICE /* init all device */ rt_device_init_all(); #endif /* init application */ rt_application_init(); #ifdef RT_USING_FINSH /* init finsh */ finsh_system_init(); finsh_set_device(FINSH_DEVICE_NAME); #endif /* init idle thread */ rt_thread_idle_init(); /* start scheduler */ rt_system_scheduler_start(); /* never reach here */ return ; } /*@}*/