History log of /seL4-camkes-master/kernel/include/arch/riscv/arch/sbi.h
Revision Date Author Comments
# 512a0200 19-Mar-2020 Qian Ge <qian.ge@data61.csiro.au>

replacing all ifndef with pargma once

All the kernel header files now use pargma once rather than the ifndef,
as the pre-processed C files do not change while header files
are protected with pargma once. This will also solve any naming issues
caused by ifndef.


# 996e1624 03-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Manually tag missing 3rd-party licenses

Two files were previously ignored in the license check.


# 3d10ef0c 18-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

style: correct parenthesis padding

Use astyle's unpad-paren to unpad all parentheses that are not included
by pad-header, pad-oper, and pad-comma.


# b59038b1 04-Dec-2018 Edward Pierzchalski <ed.pierzchalski@data61.csiro.au>

riscv: replace braced-groups with functions.

Braced groups in expressions like

int x = 0;
x = ({x++; x;});

aren't supported by the C parser (or ISO C), so we replace the SBI_CALL
macro with an equivalent function.


# 83ba0847 20-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64