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
30
31
32
33
34
35
36
37
38

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

void __libc_init_array();
void __libc_fini_array();
int main(int, char **, char **);
void BoardEarlyInit();
void BoardLateInit();
void BoardExceptionHandler(int);
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.");
    __sinit(_impure_ptr);
    __libc_init_array();
    BoardLateInit();
    atexit(__libc_fini_array);
    exit(main(0, NULL, NULL));
}

void startup_memcpy(void * dest, const void * src, size_t n) {
    memcpy(dest, src, n);
}

void startup_memset(void * dest, int c, size_t n) {
    memset(dest, c, n);
}