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

include: Add PRILX define to help print unsigned long

2019-02-20T06:32:40Z

The unsigned long is always machine word size. This means it is 4 bytes on 32bit system and 8 bytes on 64bit system. This patch adds PRILX define for sbi_printf() which will help us print unsigned long without worrying whether it is 32bit or 64bit system. Signed-off-by: Anup Patel

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

platform: Add libfdt support.

2019-01-18T04:35:12Z

Some of the platform (i.e. SiFive FU540) requires Device Tree modification before it is passed to higher stages. Add libfdt support now to help this process. Libfdt should only be included per platform basis. Signed-off-by: Atish Patra

include: Add __packed define for packed structures

2019-01-16T05:55:25Z

This patch adds __packed define for specifying packed attribute of structures. Signed-off-by: Anup Patel

include: Add __noreturn define for noreturn function attribute

2019-01-16T05:55:25Z

There are quite a few noreturn functions in OpenSBI hence we add commong __noreturn define for noreturn functin attribute. Signed-off-by: Anup Patel

Initial commit.

2018-12-11T13:54:06Z

Signed-off-by: Anup Patel