Adrian Danis f094fc33be Merge pull request #373 in SEL4/sel4 from ~ADANIS/sel4:iommu to master ... * commit '2320d909044d271960d4d11dc84a0294e391dbc6': x86: Fixup IOMMU implementation		2016-10-04 00:00:27 +00:00
..
api	SELFOUR-603 - Benchmark: Add null syscall	2016-09-28 11:05:25 +10:00
arch	x86: Fixup IOMMU implementation	2016-09-29 16:11:11 +10:00
config	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
fastpath	SELFOUR-526: Refactor benchmark/debug syscall kernel entry	2016-07-28 10:29:42 +10:00
kernel	SELFOUR-421: Add padding for untyped in bootinfo	2016-09-23 14:15:09 +10:00
machine	Fix putchar	2016-08-24 11:12:44 +10:00
model	SELFOUR-630:preliminary booting application processors	2016-09-28 16:10:25 +10:00
object	SELFOUR-421: minor changes for c-refine	2016-09-23 14:15:09 +10:00
plat	x86: Fixup IOMMU implementation	2016-09-29 16:11:11 +10:00
assert.c	Release snapshot	2014-07-18 05:03:59 +10:00
benchmark_track.c	SELFOUR-518: Benchmark - User-level log buffer, delete dump and size system calls	2016-08-19 12:57:03 +10:00
benchmark_utilisation.c	Benchmark: Implement per-thread reset syscall	2016-09-12 13:54:12 +10:00
inlines.c	Release snapshot	2014-07-18 05:03:59 +10:00
Makefile	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
string.c	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
util.c	Mark strncmp as a pure function.	2016-06-29 17:04:28 +10:00