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 | |
| 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')
| -rw-r--r-- | platform/spike/config.mk | 36 | ||||
| -rw-r--r-- | platform/spike/objects.mk | 7 | ||||
| -rw-r--r-- | platform/spike/platform.c | 115 |
3 files changed, 158 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 diff --git a/platform/spike/objects.mk b/platform/spike/objects.mk new file mode 100644 index 0000000..30a3c4f --- /dev/null +++ b/platform/spike/objects.mk @@ -0,0 +1,7 @@ +# +# SPDX-License-Identifier: BSD-2-Clause +# +# Copyright (c) 2020 Western Digital Corporation or its affiliates. +# + +platform-objs-y += platform.o diff --git a/platform/spike/platform.c b/platform/spike/platform.c new file mode 100644 index 0000000..c0f93e2 --- /dev/null +++ b/platform/spike/platform.c @@ -0,0 +1,115 @@ +/* + * SPDX-License-Identifier: BSD-2-Clause + * + * Copyright (c) 2020 Western Digital Corporation or its affiliates. + */ + +#include <sbi/sbi_platform.h> +#include <sbi_utils/sys/htif.h> +#include <sbi_utils/sys/clint.h> + +/* clang-format off */ + +#define SPIKE_HART_COUNT 8 +#define SPIKE_HART_STACK_SIZE 8192 + +#define SPIKE_CLINT_ADDR 0x2000000 + +/* clang-format on */ + +static int spike_final_init(bool cold_boot) +{ + return 0; +} + +static u32 spike_pmp_region_count(u32 hartid) +{ + return 1; +} + +static int spike_pmp_region_info(u32 hartid, u32 index, ulong *prot, ulong *addr, + ulong *log2size) +{ + int ret = 0; + + switch (index) { + case 0: + *prot = PMP_R | PMP_W | PMP_X; + *addr = 0; + *log2size = __riscv_xlen; + break; + default: + ret = -1; + break; + }; + + return ret; +} + +static int spike_console_init(void) +{ + return 0; +} + +static int spike_irqchip_init(bool cold_boot) +{ + return 0; +} + +static int spike_ipi_init(bool cold_boot) +{ + int ret; + + if (cold_boot) { + ret = clint_cold_ipi_init(SPIKE_CLINT_ADDR, + SPIKE_HART_COUNT); + if (ret) + return ret; + } + + return clint_warm_ipi_init(); +} + +static int spike_timer_init(bool cold_boot) +{ + int rc; + + if (cold_boot) { + rc = clint_cold_timer_init(SPIKE_CLINT_ADDR, + SPIKE_HART_COUNT, TRUE); + if (rc) + return rc; + } + + return clint_warm_timer_init(); +} + +const struct sbi_platform_operations platform_ops = { + .pmp_region_count = spike_pmp_region_count, + .pmp_region_info = spike_pmp_region_info, + .final_init = spike_final_init, + .console_putc = htif_putc, + .console_getc = htif_getc, + .console_init = spike_console_init, + .irqchip_init = spike_irqchip_init, + .ipi_send = clint_ipi_send, + .ipi_clear = clint_ipi_clear, + .ipi_init = spike_ipi_init, + .timer_value = clint_timer_value, + .timer_event_stop = clint_timer_event_stop, + .timer_event_start = clint_timer_event_start, + .timer_init = spike_timer_init, + .system_reboot = htif_system_down, + .system_shutdown = htif_system_down +}; + +const struct sbi_platform platform = { + .opensbi_version = OPENSBI_VERSION, + .platform_version = SBI_PLATFORM_VERSION(0x0, 0x01), + .name = "Spike", + .features = SBI_PLATFORM_DEFAULT_FEATURES, + .hart_count = SPIKE_HART_COUNT, + .hart_stack_size = SPIKE_HART_STACK_SIZE, + .disabled_hart_mask = 0, + .platform_ops_addr = (unsigned long)&platform_ops +}; |