Adrian Danis 35c50cfdaf SELFOUR-556: Rationalize BITS vs INDEX_BITS ... s/PD_BITS/PD_INDEX_BITS Current convention is to say that X_BITS is the log base 2 size of an object, not the log base 2 number of indices		2016-08-31 09:24:47 +10:00
..
api	SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING	2016-07-15 12:30:17 +10:00
arch	SELFOUR-556: Rationalize BITS vs INDEX_BITS	2016-08-31 09:24:47 +10:00
fastpath
kernel	SELFOUR-615: arm entry point stubs	2016-08-24 10:42:36 +10:00
machine	SELFOUR-624: fix ia32 debug build	2016-08-24 11:10:12 +10:00
model	SELFOUR-518: User-level log buffer	2016-08-15 15:06:38 +10:00
object	SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING	2016-07-15 12:30:17 +10:00
plat	SELFOUR-556: Rationalize BITS vs INDEX_BITS	2016-08-31 09:24:47 +10: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-615: arm entry point stubs	2016-08-24 10:42:36 +10: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	Remove #include <stdbool.h>	2016-06-24 15:05:44 +10:00
benchmark_utilisation_types.h	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
bootinfo.h
compound_types.h
config.h
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
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