Stephen Sherratt 9c72698655 Merge pull request #327 in SEL4/sel4 from ~SSHERRATT/sel4:cap-rights-interface to master ... * commit 'da0c39f473270a965d8ad73774a204290dd5b44b': libsel4: Tidied comments and moved compound rights libsel4: Use pragma once in cap rights header libsel4: Added cap rights interface wrapper		2016-08-16 03:41:10 +00:00
..
api	SELFOUR-518: User-level log buffer	2016-08-15 15:06:38 +10:00
interfaces	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
sel4	libsel4: Tidied comments and moved compound rights	2016-08-15 15:43:53 +10:00