Firmware/opensbi
8
0
Fork 0
forked from Mirrors/opensbi
Code Pull Requests Activity
1,874 Commits 1 Branch 19 Tags
5ab908d6227e6021678cca57d7040d9401a3615e
Commit Graph
3 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Richardson f3a8f603a7 include: types: Use __builtin_offsetof when supported 
Clang provides a __builtin_offsetof which can be detected using
__has_builtin().

Signed-off-by: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Reviewed-by: Anup Patel <anup.patel@wdc.com>
 2021-07-17 16:40:07 +05:30
Alex Richardson 7210e90785 firmware: use __SIZEOF_LONG__ for field offsets in fw_dynamic.h 
The fields are of type unsigned long and are not pointers. While this
happens to be the same for RV32/RV64, it is not correct when compiling
for a CHERI-RISC-V system where pointers are twice the size of long.

Signed-off-by: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Anup Patel <anup.patel@wdc.com>
 2021-07-17 16:35:23 +05:30
Alex Richardson 5ff1ab0ed8 makefile: add support for building on macOS 
On macOS the readlink command does not include a -f flag. Instead default
to using GNU readlink (which is often installed as greadlink).

Signed-off-by: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Signed-off-by: Anup Patel <anup.patel@wdc.com>
 2020-02-06 15:42:47 +05:30