text: /*
   * Copyright (c) 2012 Travis Geiselbrecht
   *
   * Permission is hereby granted, free of charge, to any person obtaining
   * a copy of this software and associated documentation files
   * (the "Software"), to deal in the Software without restriction,
   * including without limitation the rights to use, copy, modify, merge,
   * publish, distribute, sublicense, and/or sell copies of the Software,
   * and to permit persons to whom the Software is furnished to do so,
   * subject to the following conditions:
   *
   * The above copyright notice and this permission notice shall be
   * included in all copies or substantial portions of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
   * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
   * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
   * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
   * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
   * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
   * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   */
  #include <err.h>
  #include <debug.h>
  #include <lib/heap.h>
  #include <platform.h>
  #include "platform_p.h"
  
  void platform_init_mmu_mappings(void)
  {
  }
  
  void platform_early_init(void)
  {
      platform_init_debug();
  
      /* initialize the interrupt controller */
      platform_init_interrupts();
  
      /* initialize the timer block */
      platform_init_timer();
  }
  
  void platform_init(void)
  {
      /* add the rest of the 6GB of ram */
      heap_add_block((void *)0x880000000ULL, 0x180000000ULL);
  }
  
  