portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Jimmy Brush 71a2c5384e
[libsel4] fix building with LibSel4FunctionAttributes 
Correct exported functions that were still defined as 'static inline' to
use LIBSEL4_INLINE_FUNC so that they can be controlled by
LibSel4FunctionAttributes.

This is important to other languages that want to bind to the libsel4
static library instead of using the inline C functions.
2018-11-27 01:17:45 -05:00
..
arch_include [libsel4] fix building with LibSel4FunctionAttributes 2018-11-27 01:17:45 -05:00
include TCB API: Fix minor discrepancy: seL4_CNode was used for VSpace roots 2018-11-06 10:40:17 +11:00
mode_include Increase badge size for endpoints on 64-bit platforms 2017-10-27 12:15:09 +11:00
sel4_arch_include [libsel4] fix building with LibSel4FunctionAttributes 2018-11-27 01:17:45 -05:00
sel4_plat_include TX2: Add initial TX2 support 2018-11-07 11:52:51 +11:00
src libsel4: fix licenses 2017-06-22 15:27:29 +10:00
tools manual: group generated API methods by object type 2018-05-10 11:36:01 +10:00
CMakeLists.txt libsel4: rename sel4_gen custom target to sel4_generated 2018-09-10 15:57:19 +10:00