Anna Lyons 1fecec2560 add compile asserts to check objects are the sizes we expect them to be		2015-10-13 15:30:20 +11:00
..
api	AEP -> Notification: deprecate old API syscalls, functions and constants that refer to AEP's and introduce new ones that refer to Notifications	2015-10-13 13:26:04 +11:00
arch	add compile asserts to check objects are the sizes we expect them to be	2015-10-13 15:30:20 +11:00
fastpath	Refactor ARM and ia32 fastpath to use a common code base	2015-08-21 08:34:08 +10:00
kernel	Introduce 'Notification Binding': a new feature which allows a tcb to be bound to a single asynchronous endpoint.	2015-10-09 15:19:58 +11:00
machine	generate warnings for incorrect format strings for kprintf, bring stdint.h	2015-09-30 12:31:39 +10:00
model	Release snapshot	2014-07-18 05:03:59 +10:00
object	Introduce 'Notification Binding': a new feature which allows a tcb to be bound to a single asynchronous endpoint.	2015-10-09 15:19:58 +11:00
plat	Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.	2015-09-03 11:39:31 +10:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Release snapshot	2014-07-18 05:03:59 +10:00
basic_types.h	split the types header into basic and compound to resolve circular dependencies	2015-04-15 11:57:08 +10:00
benchmark.h	Trivial: style	2015-09-08 12:46:09 +10:00
bootinfo.h	ia32: Large commit that implements PAE paging for x86	2015-01-28 12:11:51 +11:00
compound_types.h	split the types header into basic and compound to resolve circular dependencies	2015-04-15 11:57:08 +10:00
config.h	Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.	2015-09-03 11:39:31 +10:00
machine.h	Release snapshot	2014-07-18 05:03:59 +10:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00
object.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	generate warnings for incorrect format strings for kprintf, bring stdint.h	2015-09-30 12:31:39 +10:00
string.h	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
util.h	ia32: Ensure multiboot structs are packed	2015-05-28 12:09:12 +10:00