| # |
| # SPDX-License-Identifier: BSD-2-Clause |
| # |
| # Copyright (C) 2019 FORTH-ICS/CARV |
| # Panagiotis Peristerakis <perister@ics.forth.gr> |
| # |
| |
| # Compiler flags |
| platform-cppflags-y = |
| platform-cflags-y = |
| platform-asflags-y = |
| platform-ldflags-y = |
| |
| # Object to build |
| platform-objs-y += platform.o |
| |
| PLATFORM_RISCV_XLEN = 64 |
| |
| # Blobs to build |
| FW_JUMP=n |
| |
| ifeq ($(PLATFORM_RISCV_XLEN), 32) |
| # This needs to be 4MB aligned for 32-bit support |
| FW_JUMP_ADDR=0x80400000 |
| else |
| # This needs to be 2MB aligned for 64-bit support |
| FW_JUMP_ADDR=0x80200000 |
| endif |
| FW_JUMP_FDT_ADDR=0x82200000 |
| |
| # Firmware with payload configuration. |
| FW_PAYLOAD=y |
| |
| ifeq ($(PLATFORM_RISCV_XLEN), 32) |
| # This needs to be 4MB aligned for 32-bit support |
| FW_PAYLOAD_OFFSET=0x400000 |
| else |
| # This needs to be 2MB aligned for 64-bit support |
| FW_PAYLOAD_OFFSET=0x200000 |
| endif |
| FW_PAYLOAD_FDT_ADDR=0x82200000 |
| FW_PAYLOAD_ALIGN=0x1000 |
