portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis a079bd6084 Merge commit '88d73db06c327d45b6405f1ad5b94a0319f5921d' into HEAD 
Conflicts:
	include/arch/arm/arch/object/structures.h
2015-12-02 17:34:02 +11:00
..
api Add seL4_NBWait: non blocking wait for notifications and endpoints. 2015-10-21 13:43:39 +11:00
arch Merge commit '88d73db06c327d45b6405f1ad5b94a0319f5921d' into HEAD 2015-12-02 17:34:02 +11:00
fastpath Refactor ARM and ia32 fastpath to use a common code base 2015-08-21 08:34:08 +10:00
kernel Use CONST instead of PURE in thread functions 2015-10-23 15:02:53 +11:00
machine refactor tcb_t to remove duplication between x86 and arm header files 2015-11-09 17:18:43 +11:00
model Using bitfields to track for which priorities there exist non-empty ready queues. 2015-10-21 18:52:44 +11:00
object refactor tcb_t to remove duplication between x86 and arm header files 2015-11-09 17:18:43 +11:00
plat Merge commit '5d64d156f47c20ae049c0c854797291436f84021' into HEAD 2015-12-02 17:13:07 +11: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 Wrap __builtin_clz for C Parser (verification) 2015-10-21 18:52:53 +11:00