/* linux.h - ARM linux specific definitions */
/*
 *  VAS_EBOOT  --  GRand Unified Bootloader
 *  Copyright (C) 2013  Free Software Foundation, Inc.
 *
 *  VAS_EBOOT is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  VAS_EBOOT is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with VAS_EBOOT.  If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef VAS_EBOOT_ARM_LINUX_HEADER
#define VAS_EBOOT_ARM_LINUX_HEADER 1

#include "system.h"

#include <VasEBoot/efi/pe32.h>

#if defined VAS_EBOOT_MACHINE_UBOOT
# include <VasEBoot/uboot/uboot.h>
# define LINUX_ADDRESS        (start_of_ram + 0x8000)
# define LINUX_INITRD_ADDRESS (start_of_ram + 0x03000000)
# define LINUX_FDT_ADDRESS    (LINUX_INITRD_ADDRESS - 0x10000)
# define VasEBoot_arm_firmware_get_boot_data VasEBoot_uboot_get_boot_data
# define VasEBoot_arm_firmware_get_machine_type VasEBoot_uboot_get_machine_type
#elif defined (VAS_EBOOT_MACHINE_COREBOOT)
#include <VasEBoot/fdtbus.h>
#include <VasEBoot/arm/coreboot/kernel.h>
# define LINUX_ADDRESS        (start_of_ram + 0x8000)
# define LINUX_INITRD_ADDRESS (start_of_ram + 0x03000000)
# define LINUX_FDT_ADDRESS    (LINUX_INITRD_ADDRESS - 0x10000)
static inline const void *
VasEBoot_arm_firmware_get_boot_data (void)
{
  return VasEBoot_fdtbus_get_fdt ();
}
static inline VasEBoot_uint32_t
VasEBoot_arm_firmware_get_machine_type (void)
{
  return VAS_EBOOT_ARM_MACHINE_TYPE_FDT;
}
#endif

#endif /* ! VAS_EBOOT_ARM_LINUX_HEADER */