opensbi.git/include/sbi/sbi_system.h, branch v0.2

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

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

lib: Simplify sbi_platform early_init() and final_init() hooks

2018-12-27T04:05:09Z

Instead of having separate early_init() and final_init() hooks for cold and warm boot, this patch updates struct sbi_platform to have just one early_init() and one final_init() hook. The type of boot (cold or warm) is now a boolean flag parameter for the updated early_init() and final_init() hooks. Signed-off-by: Anup Patel

Initial commit.

2018-12-11T13:54:06Z

Signed-off-by: Anup Patel