| * Embedded Planet EP8248E with PlanetCore firmware |
| * Author: Scott Wood <scottwood@freescale.com> |
| * Copyright (c) 2007 Freescale Semiconductor, Inc. |
| * This program is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 as published |
| * by the Free Software Foundation. |
| static void platform_fixups(void) |
| dt_fixup_memory(0, mem_size); |
| planetcore_set_mac_addrs(table); |
| if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) { |
| printf("No PlanetCore crystal frequency key.\r\n"); |
| void platform_init(unsigned long r3, unsigned long r4, unsigned long r5, |
| unsigned long r6, unsigned long r7) |
| planetcore_prepare_table(table); |
| if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size)) |
| simple_alloc_init(_end, mem_size - (unsigned long)_end, 32, 64); |
| planetcore_set_stdout_path(table); |
| platform_ops.fixups = platform_fixups; |