portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Adrian Danis d2644e8ab7 Declare and check IPC buffer size 
Adds a named constant of the IPC buffer size bits that can be used when checking the
size/alignment of an IPC buffer. This constant has a compile time assertion to ensure
it corresponds to the actual IPC buffer
2017-10-27 16:12:18 +11:00
..
arch_include libsel4: Remove bitfield type unifying Guard and Badge construction 2017-10-27 12:15:09 +11:00
include [STYLE_FIX] 2017-10-27 01:30:35 +00:00
mode_include Increase badge size for endpoints on 64-bit platforms 2017-10-27 12:15:09 +11:00
sel4_arch_include Declare and check IPC buffer size 2017-10-27 16:12:18 +11:00
sel4_plat_include Added 32-bit support for the zynqmp. 2017-09-27 12:58:49 -04:00
src libsel4: fix licenses 2017-06-22 15:27:29 +10:00
tools libsel4: Remove bitfield type unifying Guard and Badge construction 2017-10-27 12:15:09 +11:00
CMakeLists.txt libsel4: Make guard and badge definitions mode specific 2017-10-27 12:15:09 +11:00
Kbuild libsel4: fix licenses 2017-06-22 15:27:29 +10:00
Kconfig libsel4: fix licenses 2017-06-22 15:27:29 +10:00
Makefile libsel4: Make guard and badge definitions mode specific 2017-10-27 12:15:09 +11:00