opensbi.git/platform/common/sys, branch v0.2

platform: clint: Allow running on 32-bit systems

2019-02-08T03:48:46Z

Signed-off-by: Alistair Francis

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

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 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

top: Rename "plat" to "platform" everywhere

2018-12-21T05:05:04Z

This patch renames "plat" to "platform" everywhere for better readablility. Signed-off-by: Anup Patel