portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis c597c72fdf Move files that contain 32-bit specific code into specific 'mode' 
directories

This commit is 'broken' as it leaves the repository in an unbuildable state.
The purpose of having this commit is so that there is a commit where the
modifications to these files is *just* a rename, making it easier to merge
these changes into other branches.
2015-12-14 12:48:12 +11:00
..
api unsigned int -> word_t 2015-12-10 10:45:21 +11:00
arch Move files that contain 32-bit specific code into specific 'mode' 2015-12-14 12:48:12 +11:00
fastpath SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
kernel unsigned int -> word_t 2015-12-10 10:45:21 +11:00
machine unsigned int -> word_t 2015-12-10 10:45:21 +11:00
model unsigned int -> word_t 2015-12-10 10:45:21 +11:00
object Move structures.bf files that contain 32-bit specific code into specific 2015-12-14 12:48:12 +11:00
plat Move files that contain 32-bit specific code into specific 'mode' 2015-12-14 12:48:12 +11:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Always have compile_assert enabled 2015-11-11 11:09:24 +11:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
benchmark.h Trivial: style 2015-09-08 12:46:09 +10:00
bootinfo.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11: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 SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h conversion: fixed unnecessary word_t change 2015-12-10 10:45:22 +11:00
string.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h conversion: fixed hardcoded spec rule for clzl 2015-12-10 10:45:23 +11:00