opensbi

Files

Alistair Francis 508a27204c lib: Create a sbi_ipi_data structure

Create a sbi_ipi_data structure that holds unpacked IPI information. At
the same time remove ipi_type from the sbi_scratch struct and use a
fixed offset to access it.

This structure fits in behind the sbi_scratch structure.

This fixes https://github.com/riscv/opensbi/issues/81

Signed-off-by: Alistair Francis <alistair.francis@wdc.com>

2019-03-10 21:08:21 +05:30

payloads

firmware: Use CSR_<FOO> instead of <foo> for csr*

2019-02-14 09:31:18 +05:30

external_deps.mk

all: Update copyright header in all files

2019-01-24 14:07:47 +05:30

fw_base.ldS

all: Update copyright header in all files

2019-01-24 14:07:47 +05:30

fw_base.S

lib: Create a sbi_ipi_data structure