opensbi.git/include/sbi/sbi_console.h, branch v0.8

include: sbi_console: Remove scratch parameter from sbi_dprintf()

2020-03-28T08:02:58Z

This patch removes scratch parameter from sbi_dprintf() function because sbi_dprintf() can use sbi_scratch_thishart_ptr() to get current HART scratch space. Signed-off-by: Anup Patel Reviewed-by: Atish Patra

lib: Introduce sbi_dprintf() API

2019-08-09T07:08:33Z

This patch introduces new sbi_dprintf() API for runtime debug prints. The sbi_dprintf() will print to console for a given HART only when SBI_SCRATCH_DEBUG_PRINTS option in enabled in sbi_scratch for this HART. We can now add debug prints using sbi_dprintf() at important places in OpenSBI sources. These debug prints will only show up when previous booting stage or compile time parameter sets the SBI_SCRATCH_DEBUG_PRINTS option in scratch space. Signed-off-by: Anup Patel Reviewed-by: Bin Meng

all: run clang-format and update checked-in files

2019-04-24T04:19:46Z

Noisy commit, no functional changes. Generated with an current upstream clang-format and: clang-format -i $(find . -name \*.[ch]) Signed-off-by: Olof Johansson

lib:platform: Fix sbi_getc return type.

2019-03-05T08:35:12Z

As per the current SBI specification, sbi_getc should return an int instead of char. In case of FIFO is empty, return -1 as per the specification. Reported-by: Sergi Granell Suggested-by:Thadeu Lima de Souza Cascardo Signed-off-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

Initial commit.

2018-12-11T13:54:06Z

Signed-off-by: Anup Patel