/*
   * Copyright (c) 2008 PIKA Technologies
   *   Sean MacLennan <smaclennan@pikatech.com>
   *
   * 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 "4xx.h"
  #include "cuboot.h"
  #include "stdio.h"
  
  #define TARGET_4xx
  #define TARGET_44x
  #include "ppcboot.h"
  
  static bd_t bd;
  
  static void warp_fixups(void)
  {
  	ibm440ep_fixup_clocks(66000000, 11059200, 50000000);
  	ibm4xx_sdram_fixup_memsize();
  	ibm4xx_fixup_ebc_ranges("/plb/opb/ebc");
  	dt_fixup_mac_address_by_alias("ethernet0", bd.bi_enetaddr);
  }
  
  void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
  		   unsigned long r6, unsigned long r7)
  {
  	CUBOOT_INIT();
  
  	platform_ops.fixups = warp_fixups;
  	platform_ops.exit = ibm44x_dbcr_reset;
  	fdt_init(_dtb_start);
  	serial_console_init();
  }