..
32 /mode
Add stdint MAX definitions
2017-11-17 14:49:27 +11:00
64 /mode
Add stdint MAX definitions
2017-11-17 14:49:27 +11:00
api
Add CONFIG_ to syscall.c and add missing include file
2017-11-28 14:24:40 +11:00
arch
aarch64: Declare base pointer size to be 48 bits to match x86
2017-12-20 16:13:43 +11:00
benchmark
Move timestamp_t definition to types.h
2017-11-28 10:13:49 +11:00
fastpath
x64: Rearrange cnode_cap structure to improve fastpath speed
2017-01-10 16:57:57 +11:00
kernel
Abstractly declare a threads registers have changed
2017-12-13 12:09:14 +11:00
machine
Inline resetTimer for all platforms
2017-11-28 10:21:46 +11:00
model
Move PAD_TO_NEXT_CACHE_LN to util.h
2018-01-09 10:10:16 +11:00
object
x64: Declare virtual addresses as 48-bits instead of 49-bits
2017-12-19 16:13:08 +11:00
plat
aarch64: Restrict USER_TOP to virtual addresses without high bits
2017-12-20 16:11:06 +11:00
smp
ARM/SMP: Re-implement atomic exchange taking sel4 IPI into account
2017-11-23 14:35:54 +11:00
api.h
assert.h
Add unverified_compile_assert
2017-05-04 11:13:31 +10:00
basic_types.h
bootinfo.h
compound_types.h
config.h
SMP: Introduce ENABLE_SMP_SUPPORT
2017-06-29 16:23:39 +10:00
linker.h
Share linker.h between architectures
2017-08-10 08:38:36 +10:00
machine.h
Makefile
Add stdint MAX definitions
2017-11-17 14:49:27 +11:00
object.h
stdarg.h
stdint.h
Add stdint MAX definitions
2017-11-17 14:49:27 +11:00
string.h
types.h
util.h
Implement UL_CONST macro for assembly and C
2018-01-09 14:13:41 +11:00