opensbi.git/include/sbi/sbi_init.h, branch v1.2

lib: Add sbi_init_count() API

2020-01-07T06:41:48Z

We add sbi_init_count() API which provides number of times a given HART completed init sequence (warmboot/coldboot). This will be very useful in debugging. With upcoming SBI HSM extension, it will also help in implementing one-time init code for each HART. Signed-off-by: Anup Patel Reviewed-by: Atish Patra

lib: Add initial sbi_exit() API

2020-01-07T06:40:35Z

This patch adds initial implementation of sbi_exit() API which can be used to perform OpenSBI exit sequence for current HART. The sbi_exit() implementation will be further extended by subsequent patches. Signed-off-by: Anup Patel Reviewed-by: Atish Patra

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: Add documentation for sbi_init() API

2019-01-16T05:55:25Z

This patch adds doxygen style documentation for sbi_init() API. Signed-off-by: Anup Patel

Initial commit.

2018-12-11T13:54:06Z

Signed-off-by: Anup Patel