2 * Copyright (C) 2012 Pavel Machek <pavel@denx.de>
4 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef _SOCFPGA_SPL_H_
8 #define _SOCFPGA_SPL_H_
10 /* Symbols from linker script */
11 extern char __malloc_start, __malloc_end, __stack_start;
13 #define BOOT_DEVICE_RAM 1