From 1db843622a0c2e255961bf8bb247c433c44d2a73 Mon Sep 17 00:00:00 2001 From: Guo Ren <guoren@linux.alibaba.com> Date: Tue, 27 Apr 2021 06:47:52 +0000 Subject: platform: Remove platform/thead We could use platform/generic instead, and won't use platform/thead/c910 again. Signed-off-by: Guo Ren <guoren@linux.alibaba.com> Reviewed-by: Anup Patel <anup.patel@wdc.com> --- docs/platform/platform.md | 3 --- docs/platform/thead-c910.md | 34 ---------------------------------- 2 files changed, 37 deletions(-) delete mode 100644 docs/platform/thead-c910.md (limited to 'docs/platform') diff --git a/docs/platform/platform.md b/docs/platform/platform.md index 8ee8754..cb4bec6 100644 --- a/docs/platform/platform.md +++ b/docs/platform/platform.md @@ -28,9 +28,6 @@ OpenSBI currently supports the following virtual and hardware platforms: * **Andes AE350 SoC**: Platform support for the Andes's SoC (AE350). More details on this platform can be found in the file *[andes-ae350.md]*. -* **T-HEAD C910**: Platform support for the T-HEAD C910 Processor. More - details on this platform can be found in the file *[thead-c910.md]*. - * **Spike**: Platform support for the Spike emulator. More details on this platform can be found in the file *[spike.md]*. diff --git a/docs/platform/thead-c910.md b/docs/platform/thead-c910.md deleted file mode 100644 index 786b47d..0000000 --- a/docs/platform/thead-c910.md +++ /dev/null @@ -1,34 +0,0 @@ -T-HEAD C910 Processor -===================== -C910 is a 12-stage, 3 issues, 8 executions, out-of-order 64-bit RISC-V CPU which -supports 16 cores, runs with 2.5GHz, and is capable of running Linux. - -To build platform specific library and firmwares, provide the -*PLATFORM=thead/c910* parameter to the top level make command. - -Platform Options ----------------- - -The *T-HEAD C910* platform does not have any platform-specific options. - -Building T-HEAD C910 Platform ------------------------------ - -``` -make PLATFORM=thead/c910 -``` - -Booting T-HEAD C910 Platform ----------------------------- - -**No Payload** - -As there's no payload, you may download vmlinux or u-boot to FW_JUMP_ADDR which -specified in config.mk or compile commands with GDB. And the execution flow will -turn to vmlinux or u-boot when opensbi ends. - -**Linux Kernel Payload** - -You can also choose to use Linux kernel as payload by enabling FW_PAYLOAD=y -along with specifying FW_PAYLOAD_OFFSET. The kernel image will be embedded in -the OPENSBI firmware binary, T-head will directly boot into Linux after OpenSBI. -- cgit v1.2.3