diff options
Diffstat (limited to 'platform/spike/config.mk')
| -rw-r--r-- | platform/spike/config.mk | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/platform/spike/config.mk b/platform/spike/config.mk new file mode 100644 index 0000000..4bde3fd --- /dev/null +++ b/platform/spike/config.mk @@ -0,0 +1,36 @@ +# +# SPDX-License-Identifier: BSD-2-Clause +# +# Copyright (c) 2020 Western Digital Corporation or its affiliates. +# + +# Compiler flags +platform-cppflags-y = +platform-cflags-y = +platform-asflags-y = +platform-ldflags-y = + +# Command for platform specific "make run" +platform-runcmd = spike \ + $(build_dir)/platform/spike/firmware/fw_payload.elf + +# Blobs to build +FW_TEXT_START=0x80000000 +FW_JUMP=y +ifeq ($(PLATFORM_RISCV_XLEN), 32) + # This needs to be 4MB aligned for 32-bit system + FW_JUMP_ADDR=0x80400000 +else + # This needs to be 2MB aligned for 64-bit system + FW_JUMP_ADDR=0x80200000 +endif +FW_JUMP_FDT_ADDR=0x82200000 +FW_PAYLOAD=y +ifeq ($(PLATFORM_RISCV_XLEN), 32) + # This needs to be 4MB aligned for 32-bit system + FW_PAYLOAD_OFFSET=0x400000 +else + # This needs to be 2MB aligned for 64-bit system + FW_PAYLOAD_OFFSET=0x200000 +endif +FW_PAYLOAD_FDT_ADDR=0x82200000 |