Adrian Danis 2a84b7d792 Merge pull request #120 in SEL4/sel4 from ~ADANIS/sel4:deviceuntyped to master ... * commit '8e77cdb5e91e971f49747492a3350c2b443a3827': SELFOUR-421: Add padding for untyped in bootinfo SELFOUR-421: minor changes for c-refine SELFOUR-421: fix up boolean equality in Arch_sameObjectAs SELFOUR-421: added device check to sameObjectAs SELFOUR-421: Arch_createObject changed to use new user_data_device in ghostupdates for device pages SELFOUR-421 Introduce explicit device frames and untypeds		2016-09-23 04:16:22 +00:00
..
arch_include	arm-hyp: Add conditions to invocations	2016-06-15 17:53:25 +10:00
include	SELFOUR-421: Add padding for untyped in bootinfo	2016-09-23 14:15:09 +10:00
sel4_arch_include	Benchmark: Implement per-thread reset syscall	2016-09-12 13:54:12 +10:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	fix "syscall_stub_gen.py --word-size" invocation	2016-07-06 16:03:58 +02:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Always usage IPC buffer for invocations (SELFOUR-381)	2015-12-16 12:27:32 +11:00
Makefile	trivial: fix typo in libsel4 Makefile	2016-09-22 08:24:27 +10:00