/*
 *  Copyright (C) 2012 Pavel Machek <pavel@denx.de>
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef _SOCFPGA_SPL_H_
#define _SOCFPGA_SPL_H_

/* Symbols from linker script */
extern char __malloc_start, __malloc_end, __stack_start;
extern u32 rst_mgr_status __attribute__ ((section(".data")));

#define BOOT_DEVICE_RAM 1

#endif