| /* | |
| * 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; | |
| #define BOOT_DEVICE_RAM 1 | |
| #endif |