os/src/init.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#include <stdlib.h>
#include <BoardConsole.h>

extern void __libc_init_array();
extern void __libc_fini_array();
extern void __main();
extern int main(int, char **, char **);
extern void BoardEarlyInit();
extern void BoardLateInit();
extern void BoardExceptionHandler(int);
extern void BoardShutdown();

void _exit(int return_code) __attribute__((noreturn));
void _exit(int return_code) {
    if (return_code)
        BoardExceptionHandler(return_code);
    BoardShutdown();
    while(1);
}

void _start() {
    BoardEarlyInit();
    BoardConsoleInit();
    BoardConsolePuts("uC-sdk - booting.");    
    __libc_init_array();
    BoardLateInit();
    atexit(__libc_fini_array);
    exit(main(0, NULL, NULL));
}