Donny Yang a720e6245e Merge pull request #571 in SEL4/sel4 from ~KOTA/sel4:skylake to master ... * commit '6cd485204f0b3ca09a42770c545f0724189e7b78': x86: Add Skylake-related info x86: Add support for more architectures in reading the TSC frequency		2016-12-13 16:49:36 +11:00
..
32/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
64/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
api	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
arch	Merge pull request #571 in SEL4/sel4 from ~KOTA/sel4:skylake to master	2016-12-13 16:49:36 +11:00
benchmark	Refactor includes so trace point support builds	2016-11-23 14:29:00 +11:00
fastpath	x64: Always set the high bits of certain pointers in the fastpath	2016-11-30 11:25:05 +11:00
kernel	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
machine	Remove many MODIFIES annotations.	2016-12-12 17:30:51 +11:00
model	Remove unneeded usages of VISIBLE	2016-11-24 14:46:01 +11:00
object	x64: Efficiently pack objects for fastpath	2016-11-25 16:26:24 +11:00
plat	Remove many MODIFIES annotations.	2016-12-12 17:30:51 +11:00
api.h
assert.h
basic_types.h
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h
config.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
object.h
stdarg.h
stdint.h
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h
util.h	Mark halt as no-inline and no-return.	2016-12-12 17:30:50 +11:00