platform: Remove spike directory

The OpenSBI generic platform works perfectly fine on the QEMU spike
machine and Spike emulator so let's remove dedicated Spike platform
from OpenSBI.

All Spike platform related documentation in OpenSBI will now suggest
using OpenSBI generic platform.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Bin Meng <bin.meng@windriver.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>

3 files changed, 0 insertions, 129 deletions

diff --git a/platform/spike/config.mk b/platform/spike/config.mk
deleted file mode 100644
index 4bde3fd..0000000
--- a/platform/spike/config.mk
+++ /dev/null
@@ -1,36 +0,0 @@
-#
-# 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
deleted file mode 100644
index 30a3c4f..0000000
--- a/platform/spike/objects.mk
+++ /dev/null
@@ -1,7 +0,0 @@
-#
-# 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
deleted file mode 100644
index 066720a..0000000
--- a/platform/spike/platform.c
+++ /dev/null
@@ -1,86 +0,0 @@
-/*
- * SPDX-License-Identifier: BSD-2-Clause
- *
- * Copyright (c) 2020 Western Digital Corporation or its affiliates.
- */
-
-#include <sbi/sbi_platform.h>
-#include <sbi_utils/sys/clint.h>
-#include <sbi_utils/sys/htif.h>
-
-/* clang-format off */
-
-#define SPIKE_HART_COUNT			8
-
-#define SPIKE_CLINT_ADDR			0x2000000
-
-/* clang-format on */
-
-static int spike_final_init(bool cold_boot)
-{
-	return 0;
-}
-
-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 = {
-	.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_reset		= htif_system_reset
-};
-
-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	= SBI_PLATFORM_DEFAULT_HART_STACK_SIZE,
-	.platform_ops_addr	= (unsigned long)&platform_ops
-};