opensbi.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2019-06-19	platform: Move platform common to lib/utils.	Atish Patra
2019-04-24	all: run clang-format and update checked-in files	Olof Johansson
2019-02-08	platform: clint: Allow running on 32-bit systems	Alistair Francis
2019-01-24	all: Update copyright header in all files	Anup patel
2019-01-23	include: Rename ipi_inject() to ipi_send() for sbi_platform	Anup Patel
2019-01-23	lib: Remove target_hart and hartid parameter from TIMER callbacks	Anup Patel
2019-01-23	lib: Remove source_hart and hartid parameter from IPI callbacks	Anup patel
2018-12-21	top: Rename "plat" to "platform" everywhere	Anup Patel