Adrian Danis 9f9578a7ae aarch64: Restrict USER_TOP to virtual addresses without high bits ... Restricting virtual addresses to essentially be only addresses without bit 47 set allows us to not need to check that an address passed in by the user is canonical or not. Any address that is in danger of not being canonical (has bit 47 set but not bits 48 to 63) will all by higher than USER_TOP and will not be permitted.		2017-12-20 16:11:06 +11:00
..
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	x64: Declare virtual addresses as 48-bits instead of 49-bits	2017-12-19 16:13:08 +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	Define SchedulerAction_ChooseNewThread as 1	2017-12-13 11:47:56 +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	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
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	Verification: popcount- Avoid conflict variable names/types	2017-06-29 13:35:30 +10:00