portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Anna Lyons 00cf62bb09 riscv: remove unneccessary #if CONFIG_PT_LEVELS 
This guard is only required for object types to avoid
seL4 thinking they are valid objects. Defining the size constants does
not need to be guarded.
2018-04-18 10:10:14 +10:00
..
arch_include trivial: fix whitespace 2018-04-18 10:10:14 +10:00
include x64: extend label bitfield to remove padding from seL4_MessageInfo 2018-04-13 08:09:21 +10:00
mode_include Increase badge size for endpoints on 64-bit platforms 2017-10-27 12:15:09 +11:00
sel4_arch_include riscv: remove unneccessary #if CONFIG_PT_LEVELS 2018-04-18 10:10:14 +10:00
sel4_plat_include [SELFOUR-1156] RISC-V Port 2018-04-18 10:10:14 +10:00
src libsel4: fix licenses 2017-06-22 15:27:29 +10:00
tools [SELFOUR-1156] RISC-V Port 2018-04-18 10:10:14 +10:00
CMakeLists.txt libsel4: remove unused extra_cflags 2018-02-22 14:51:48 +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