0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011 #include <stdarg.h>
0012 #include <stddef.h>
0013 #include "types.h"
0014 #include "elf.h"
0015 #include "string.h"
0016 #include "stdio.h"
0017 #include "page.h"
0018 #include "ops.h"
0019 #include "io.h"
0020
0021 BSS_STACK(4096);
0022
0023 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5)
0024 {
0025 u32 heapsize = 0x8000000 - (u32)_end;
0026
0027 simple_alloc_init(_end, heapsize, 32, 64);
0028 fdt_init(_dtb_start);
0029 serial_console_init();
0030 }