Hesham Almatary 423f3eaf4a Merge pull request #423 in SEL4/sel4 from ~HALMATARY/sel4:benchmarkRefine to master ... * commit 'e3f764a65be484d89e29ebc22ea406f1438ae3d3': Benchmark: move arch-dependent benchmark.c from api/ to new benchmark/ directory Benchmark: Pack arch-independent benchmark-related files into separate directories		2016-10-20 02:23:29 +00:00
..
api	Benchmark: Pack arch-independent benchmark-related files into separate directories	2016-10-20 11:42:04 +11:00
arch	Merge pull request #423 in SEL4/sel4 from ~HALMATARY/sel4:benchmarkRefine to master	2016-10-20 02:23:29 +00:00
benchmark	Benchmark: Pack arch-independent benchmark-related files into separate directories	2016-10-20 11:42:04 +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	Benchmark: Pack arch-independent benchmark-related files into separate directories	2016-10-20 11:42:04 +11:00
plat	am335x: Prevent out of bounds array access	2016-10-20 10:56:58 +11:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Always have compile_assert enabled	2015-11-11 11:09:24 +11:00
basic_types.h	Rename uint32_t -> word_t in any relevant places	2015-12-10 10:45:20 +11:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
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	Release snapshot	2014-07-18 05:03:59 +10:00
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	conversion: fixed unnecessary word_t change	2015-12-10 10:45:22 +11:00
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
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