0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011 #include "ops.h"
0012 #include "stdio.h"
0013 #include "cuboot.h"
0014
0015 #include "ppcboot.h"
0016
0017 static bd_t bd;
0018
0019 static void platform_fixups(void)
0020 {
0021 dt_fixup_memory(bd.bi_memstart, bd.bi_memsize);
0022 dt_fixup_cpu_clocks(bd.bi_intfreq, bd.bi_busfreq / 4, bd.bi_busfreq);
0023 }
0024
0025 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
0026 unsigned long r6, unsigned long r7)
0027 {
0028 CUBOOT_INIT();
0029 fdt_init(_dtb_start);
0030 serial_console_init();
0031 platform_ops.fixups = platform_fixups;
0032 }