portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Anna Lyons f34f354a5d SELFOUR-617: one source of memory object sizes 
Adds the following constants to libsel4
and uses them in the kernel.

seL4_SectionSize (arm)
seL4_SuperSectionSize (arm)
seL4_HugePageSize (x86 - pae)
seL4_LargePageSize (arm)
seL4_DataFault
seL4_InstructionFault
2016-08-17 12:42:38 +10:00
..
allwinnerA20/plat SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
am335x SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
apq8064 SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
exynos4 SELFOUR-612: one generic timer impl 2016-08-10 07:16:46 +10:00
exynos5 SELFOUR-612: one generic timer impl 2016-08-10 07:16:46 +10:00
hikey SELFOUR-612: one generic timer impl 2016-08-10 07:16:46 +10:00
imx6 Benchmark: share and use KS_LOG_PPTR and PPTR_TOP for x86 and ARM 2016-08-12 11:14:04 +10:00
imx7 SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
imx31 SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
omap3 Fix problem in omap irq code 2016-08-09 16:18:34 +10:00
pc99 SELFOUR-617: one source of memory object sizes 2016-08-17 12:42:38 +10:00
tk1 SELFOUR-612: one generic timer impl 2016-08-10 07:16:46 +10:00
zynq7000 SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00