diff options
| author | James Clarke <jrtc27@jrtc27.com> | 2020-02-01 01:07:51 +0000 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2020-02-17 17:42:52 +0530 |
| commit | c2f23cc6edd7ee2dc6a07991312d44233080ae6b (patch) | |
| tree | 2c9326e9c0f1c4ac18e0b8f90962a91f0fba543b /platform/spike/config.mk | |
| parent | c2bfa2bff30312679cfee986bbed9b974c6760bb (diff) | |
platform: Add Spike initial support
This patch adds initial platform support Spike emulator.
Signed-off-by: James Clarke <jrtc27@jrtc27.com>
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
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 |