| Dinh Nguyen | ad51f7c | 2012-10-04 06:46:02 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 Pavel Machek <pavel@denx.de> | ||||
| 3 | * | ||||
| Wolfgang Denk | d79de1d | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 4 | * SPDX-License-Identifier: GPL-2.0+ |
| Dinh Nguyen | ad51f7c | 2012-10-04 06:46:02 +0000 | [diff] [blame] | 5 | */ |
| 6 | |||||
| 7 | #ifndef _SOCFPGA_SPL_H_ | ||||
| 8 | #define _SOCFPGA_SPL_H_ | ||||
| 9 | |||||
| 10 | /* Symbols from linker script */ | ||||
| 11 | extern char __malloc_start, __malloc_end, __stack_start; | ||||
| 12 | |||||
| 13 | #define BOOT_DEVICE_RAM 1 | ||||
| 14 | |||||
| 15 | #endif | ||||