opensbi.git/platform, branch v0.1

platform: fu540: Provide a compile time option selective hart booting.

2019-01-29T01:47:14Z

Currently, only hart 1 is enabled for fu540 platform to support U-boot. Introduce a compile time FU540_ENABLED_HART_MASK option so that specific harts can be selected for booting. As fu540 is a multicore, we should boot all cores by default except hart 0. Signed-off-by: Atish Patra

platform: add template platform files

2019-01-24T13:15:01Z

Create commented template files to use as a base for new platforms support implementation. Signed-off-by: Damien Le Moal

all: Update copyright header in all files

2019-01-24T08:37:47Z

This patch updates copyright header in all files as follows: 1. Makes "SPDX-License-Identifier: BSD-2-Clause" as first line 2. Change copyright year to 2019 for Western Digital Signed-off-by: Anup Patel

include: Rename ipi_inject() to ipi_send() for sbi_platform

2019-01-23T03:09:26Z

For better naming, we rename ipi_inject() to ipi_send() in struct sbi_platform. We also replace term "inject" with "send" in all related places. Signed-off-by: Anup Patel

include: Drop MMIO from SBI_PLATFORM_HAS_MMIO_TIMER_VALUE

2019-01-23T03:09:26Z

It is not necessary that platform has MMIO-based timer value register. It can also have some custom (implementation specific) CSR for timer value. This patch renames SBI_PLATFORM_HAS_MMIO_TIMER_VALUE to SBI_PLATFORM_HAS_TIMER_VALUE to imply "platform timer value" instead of "mmio timer value". Signed-off-by: Anup Patel

lib: Remove target_hart and hartid parameter from TIMER callbacks

2019-01-23T03:09:26Z

The target_hart and hartid paramter of TIMER callbacks is not required because it always current hartid which can be obtained using sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove hartid parameter from IRQCHIP callbacks

2019-01-23T03:09:26Z

The hartid parameter in IRQCHIP callbacks of sbi_platform is not required because current hartid can be determined using sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove source_hart and hartid parameter from IPI callbacks

2019-01-23T03:09:26Z

The source_hart and hartid parameter is really not required in IPI callbacks of sbi_platform because current hartid can always be obtained by calling sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove hartid paramter from early_init() and final_init() callbacks

2019-01-23T03:09:26Z

We simplify early_init() and final_init() callbacks of sbi_platform by removing "hartid" parameter. Signed-off-by: Anup Patel

kendryte/k210: Add device tree support

2019-01-21T04:28:33Z

The Kendryte k210 board initial loader does not provide a device tree for the firmware and subsequent payload. Add the k210.dts device tree description file to solve this. This file describes only the SoC core components: CPUs, memory and PLIC. Automatically compile and add this file to the firmware generated using the FW_PAYLOAD_FDT_PATH configuration parameter. Signed-off-by: Damien Le Moal