Anna Lyons f0cb354755 Merge pull request #410 in SEL4/sel4 from ~ALYONS/sel4:cache to master ... * commit '44ed6adb616590a0f6ae8b0ad8c442afed625457': add seL4_BenchmarkFlushCaches() for arm and ia32		2016-10-28 04:21:25 +00:00
..
arch_include	libsel4: Update VTX invocations to use condition= instead of config=	2016-10-28 14:09:28 +11:00
include	Merge pull request #410 in SEL4/sel4 from ~ALYONS/sel4:cache to master	2016-10-28 04:21:25 +00:00
sel4_arch_include	Merge pull request #410 in SEL4/sel4 from ~ALYONS/sel4:cache to master	2016-10-28 04:21:25 +00:00
sel4_plat_include	Replace #pragma once with include guards	2016-10-21 12:05:02 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	libsel4: Move vt-x definitions into common x86	2016-10-28 12:16:41 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	arm/libsel4: Refactor syscall functions	2016-10-04 17:22:48 +11:00
Makefile	x64/libsel4: Add x64 libsel4 implementation	2016-10-12 12:22:32 +11:00