portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
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
..
allwinnerA20/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
am335x/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
apq8064/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
bcm2837/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
exynos4/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
exynos5/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
exynos_common/plat/machine Refactor mct.c into mct.h and hardware.c 2017-11-28 10:21:46 +11:00
hikey/plat aarch64: Restrict USER_TOP to virtual addresses without high bits 2017-12-20 16:11:06 +11:00
imx6/plat Make TIMER_CLOCK_HZ available in timer.h for ARM 2017-11-28 10:21:46 +11:00
imx7/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
imx31/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
omap3/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
pc99/plat pc99: Explicitly declare sizes for different versions of ACPI RSDP 2017-11-28 16:25:07 +11:00
tk1/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
tx1/plat aarch64: Restrict USER_TOP to virtual addresses without high bits 2017-12-20 16:11:06 +11:00
zynq7000/plat Make TIMER_CLOCK_HZ available in timer.h for ARM 2017-11-28 10:21:46 +11:00
zynqmp/plat aarch64: Restrict USER_TOP to virtual addresses without high bits 2017-12-20 16:11:06 +11:00