Kent McLeod 80d32b1609 SELFOUR-780: Add reserved entry to TK1 SMMU struct ... This missing entry caused later entries to be offset from the actual registers in hardware.		2017-01-20 10:20:28 +11:00
..
32/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
64/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
api	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
arch	Fix compilation error when benchmark utilisation enabled for KZM/ARMv-6	2017-01-19 10:16:48 +11:00
benchmark	Benchmark: Define benchmark_util_t in a separate file to avoid circular dependency	2017-01-11 14:19:34 +11:00
fastpath	x64: Rearrange cnode_cap structure to improve fastpath speed	2017-01-10 16:57:57 +11:00
kernel	Merge pull request #607 in SEL4/sel4 from ~HALMATARY/sel4:KernelStacks to master	2017-01-18 12:43:34 +11:00
machine	Remove many MODIFIES annotations.	2016-12-12 17:30:51 +11:00
model	SMP: Abstract architecture/platform independent parts of smp.h and ipi.h	2017-01-13 15:35:41 +11:00
object	Merge pull request #594 in SEL4/sel4 from ~KOTA/sel4:cap-edits to master	2017-01-12 11:08:08 +11:00
plat	SELFOUR-780: Add reserved entry to TK1 SMMU struct	2017-01-20 10:20:28 +11:00
smp	[STYLE_FIX]	2017-01-16 22:32:08 +00:00
api.h
assert.h
basic_types.h
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h
config.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
object.h
stdarg.h
stdint.h
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h
util.h	Mark halt as no-inline and no-return.	2016-12-12 17:30:50 +11:00