Adrian Danis 017cb20b78 arm: Move ACTLR functions out of pl2 headers ... The ACTLR register is not a PL2 exclusive register, and is architecturally defined to exist (although the contents of the register are implementation defined).		2016-09-27 09:34:29 +10:00
..
api	Link libsel4's macros.h into the kernel	2016-09-21 13:57:44 +10:00
arch	arm: Move ACTLR functions out of pl2 headers	2016-09-27 09:34:29 +10:00
fastpath	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
kernel	SELFOUR-421 Introduce explicit device frames and untypeds	2016-09-23 14:15:08 +10:00
machine	SELFOUR-624: fix ia32 debug build	2016-08-24 11:10:12 +10:00
model	Revert "Merge pull request #358 in SEL4/sel4 from ~AZARRABI/sel4:multicore to master"	2016-09-22 14:22:18 +10:00
object	Merge pull request #120 in SEL4/sel4 from ~ADANIS/sel4:deviceuntyped to master	2016-09-23 04:16:22 +00:00
plat	Merge pull request #120 in SEL4/sel4 from ~ADANIS/sel4:deviceuntyped to master	2016-09-23 04:16:22 +00:00
api.h
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
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	trivial: move ksKernelEntry definition	2016-09-23 15:13:38 +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	Benchmark: Implement per-thread reset syscall	2016-09-12 13:54:12 +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	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
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h
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
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