/*
   * RedBoot firmware support
   *
   * 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.
   */
  
  #include "ops.h"
  #include "stdio.h"
  #include "redboot.h"
  #include "fsl-soc.h"
  #include "io.h"
  
  static bd_t bd;
  BSS_STACK(4096);
  
  #define MHZ(x)	((x + 500000) / 1000000)
  
  static void platform_fixups(void)
  {
  	void *node;
  
  	dt_fixup_memory(bd.bi_memstart, bd.bi_memsize);
  	dt_fixup_mac_addresses(bd.bi_enetaddr);
  	dt_fixup_cpu_clocks(bd.bi_intfreq, bd.bi_busfreq / 16, bd.bi_busfreq);
  
  	node = finddevice("/soc/cpm/brg");
  	if (node) {
  		printf("BRG clock-frequency <- 0x%x (%dMHz)\r
  ",
  		       bd.bi_busfreq, MHZ(bd.bi_busfreq));
  		setprop(node, "clock-frequency",  &bd.bi_busfreq, 4);
  	}
  }
  
  void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
                     unsigned long r6, unsigned long r7)
  {
  	memcpy(&bd, (char *)r3, sizeof(bd));
  
  	if (bd.bi_tag != 0x42444944)
  		return;
  
  	simple_alloc_init(_end,
  	                  bd.bi_memstart + bd.bi_memsize - (unsigned long)_end,
  	                  32, 64);
  
  	fdt_init(_dtb_start);
  	serial_console_init();
  	platform_ops.fixups = platform_fixups;
  
  	loader_info.cmdline = (char *)bd.bi_cmdline;
  	loader_info.cmdline_len = strlen((char *)bd.bi_cmdline);
  }