diff options
| author | Guo Ren <guoren@linux.alibaba.com> | 2021-04-27 06:47:52 +0000 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2021-04-28 15:43:04 +0530 |
| commit | 1db843622a0c2e255961bf8bb247c433c44d2a73 (patch) | |
| tree | 00d099537d660acb627de3c158082a366457de7a /docs | |
| parent | bf3ef53bb7f59edd2a54b34e080fd4462d938630 (diff) | |
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>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/platform/platform.md | 3 | ||||
| -rw-r--r-- | docs/platform/thead-c910.md | 34 |
2 files changed, 0 insertions, 37 deletions
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. |