portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Stephen Sherratt e82953a194 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 Config sections in syscall.xml files take a condition which is passed to #if. 2015-09-03 11:39:31 +10:00
arch 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
fastpath Refactor ARM and ia32 fastpath to use a common code base 2015-08-21 08:34:08 +10:00
kernel Release snapshot 2014-07-18 05:03:59 +10:00
machine xIntroduce RELEASE_PRINTF, which allows a renamed printf (release_printf) to be used in a release build of the kernel - userful for debugging tests that only fail on a release build of the kernel 2015-08-03 10:26:41 +10:00
model Release snapshot 2014-07-18 05:03:59 +10:00
object Refactor some common elements across arm and x86 structures.h files. 2015-06-15 17:17:07 +10: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 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
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 Release snapshot 2014-07-18 05:03:59 +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