1 // SPDX-License-Identifier: GPL-2.0-only
3 * Embedded Planet EP8248E with PlanetCore firmware
5 * Author: Scott Wood <scottwood@freescale.com>
7 * Copyright (c) 2007 Freescale Semiconductor, Inc.
12 #include "planetcore.h"
20 static void platform_fixups(void)
24 dt_fixup_memory(0, mem_size
);
25 planetcore_set_mac_addrs(table
);
27 if (!planetcore_get_decimal(table
, PLANETCORE_KEY_CRYSTAL_HZ
, &val
)) {
28 printf("No PlanetCore crystal frequency key.\r\n");
32 pq2_fixup_clocks(val
);
35 void platform_init(unsigned long r3
, unsigned long r4
, unsigned long r5
,
36 unsigned long r6
, unsigned long r7
)
39 planetcore_prepare_table(table
);
41 if (!planetcore_get_decimal(table
, PLANETCORE_KEY_MB_RAM
, &mem_size
))
44 mem_size
*= 1024 * 1024;
45 simple_alloc_init(_end
, mem_size
- (unsigned long)_end
, 32, 64);
49 planetcore_set_stdout_path(table
);
50 serial_console_init();
51 platform_ops
.fixups
= platform_fixups
;