Adrian Danis 9c1d204eaf x64: Correctly invalidate PCIDs		2016-10-12 12:22:32 +11:00
..
api	x64: extend message_info_t to 64-bit	2016-10-12 12:22:32 +11:00
arch	x64: Correctly invalidate PCIDs	2016-10-12 12:22:32 +11:00
fastpath	x64: Fastpath	2016-10-12 12:22:32 +11:00
kernel	SELFOUR-631: implement CLH lock and barrier infrastructure	2016-10-06 11:50:57 +11:00
machine	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
model	[STYLE_FIX]	2016-10-12 00:17:10 +00:00
object	Defined untyped size ranges in libsel4	2016-10-12 12:22:32 +11:00
plat	x64: Add x86_64 support	2016-10-12 12:22:31 +11:00
api.h
assert.h
basic_types.h
benchmark.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_tracepoints_types.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_track.h	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
benchmark_track_types.h	SELFOUR-446 Benchmark: Share kernel entry types with user-level	2016-06-07 09:19:31 +10:00
benchmark_utilisation.h	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
benchmark_utilisation_types.h	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h
config.h	SELFOUR-421 Introduce explicit device frames and untypeds	2016-09-23 14:15:08 +10:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile
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	Merge pull request #274 in SEL4/sel4 from ~MFERNANDEZ/sel4:8dafd43a-daa8-4d38-ad7e-3ac425d50087 to master	2016-07-21 05:03:02 +00:00