1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283 |
- /*
- * Copyright (c) 2006-2021, RT-Thread Development Team
- *
- * SPDX-License-Identifier: Apache-2.0
- *
- * Change Logs:
- * Date Author Notes
- * 2013-7-14 Peng Fan Modified from mini4020
- */
- #include <rthw.h>
- #include <rtthread.h>
- #include <board.h>
- #include <serial.h>
- #ifdef RT_USING_FINSH
- #include <finsh.h>
- #endif
- #ifdef RT_USING_LWIP
- #include <lwip/sys.h>
- #include <netif/ethernetif.h>
- #endif
- #include <sep6200.h>
- rt_uint8_t _irq_stack_start[1024];
- rt_uint8_t _fiq_stack_start[1024];
- rt_uint8_t _undefined_stack_start[512];
- rt_uint8_t _abort_stack_start[512];
- rt_uint8_t _priv_stack_start[4096]; rt_section(".nobss");
- extern unsigned char __bss_start;
- extern unsigned char __bss_end;
- extern void rt_hw_board_init(void);
- extern void rt_application_init(void);
- extern int finsh_system_init(void);
- extern void sd_init(void);
- void rtthread_startup()
- {
- /* init hardware interrupt */
- rt_hw_interrupt_init();
- /* init board */
- rt_hw_board_init();
- /* show version */
- rt_show_version();
- /* init timer system */
- rt_system_timer_init();
- /* init heap memory system */
- rt_system_heap_init(&__bss_end, (void*)0x45000000);
- /* init scheduler system */
- rt_system_scheduler_init();
- /* init application */
- rt_application_init();
- #ifdef RT_USING_FINSH
- /* init finsh */
- finsh_system_init();
- #if !defined(RT_USING_POSIX_STDIO) && defined(RT_USING_DEVICE)
- finsh_set_device("uart0");
- #endif
- #endif
- rt_system_timer_thread_init();
- /* init idle thread */
- rt_thread_idle_init();
- /* start scheduler */
- rt_system_scheduler_start();
- /* never reach here */
- return ;
- }
|