libcedos/start.c (view raw)
1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include "assembly.h" #include <stdint.h> #include "memory.h" extern void main(char *args); int _start(char *args) { malloc_init((void*)0x20000000, (void*)0x30000000); main(args); return 0; }