platform: Remove spike directory
authorAnup Patel <anup.patel@wdc.com>
Fri, 1 May 2020 06:45:50 +0000 (12:15 +0530)
committerAnup Patel <anup@brainfault.org>
Mon, 4 May 2020 04:39:51 +0000 (10:09 +0530)
commit65c06b026db6352f1ff2bdb235f3149e5e99e2ba
tree8f76acb47103d706fd6784e715d5885323fac37b
parent13717a8e53a382769e9678f6d9357c20446cde0c
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>
docs/platform/generic.md
docs/platform/spike.md
platform/spike/config.mk [deleted file]
platform/spike/objects.mk [deleted file]
platform/spike/platform.c [deleted file]
scripts/create-binary-archive.sh