opensbi.git/platform/thead, branch v0.6

platform: thead/c910: Don't set plic/clint address in warm boot

2020-01-15T00:18:44Z

Since all harts share the same plic/clint address now, setting them during cold boot is just fine. Signed-off-by: Liu Yibin Reviewed-by: Anup Patel

platform: thead/c910: Don't enable L2 cache in warm boot

2020-01-15T00:16:38Z

Since all harts share the same L2 cache now, there's no need to Enable L2 cache in warm boot. Signed-off-by: Liu Yibin Reviewed-by: Anup Patel

platform: thead/c910: Remove SBI_PLATFORM_HAS_PMP

2020-01-09T04:53:11Z

T-head c910 is a generic FPGA platform so we cannot define PMP configuration for it in OpenSBI because PMP configuration tend to be SOC specific. Signed-off-by: Liu Yibin Reviewed-by: Atish Patra

platform: Add T-head C910 initial support

2020-01-02T04:33:23Z

This commit provides basic support for the Thead/C910 platform. Signed-off-by: Liu Yibin Reviewed-by: Atish Patra Reviewed-by: Anup Patel