Ramana Kumar dbe3e41a88 libsel4: Generate non inlined syscall invocations ... For performing verification on libsel4 the syscall invocations need to not be inlined. This provides a (somewhat hacky) way of doing that.		2015-12-09 15:41:25 +11:00
..
arch_include	Removed whitespace difference between kernel and user objecttype.h	2015-12-03 10:37:20 +11:00
include	libsel4: Generate non inlined syscall invocations	2015-12-09 15:41:25 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	libsel4: Generate non inlined syscall invocations	2015-12-09 15:41:25 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Generate non inlined syscall invocations	2015-12-09 15:41:25 +11:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00