portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis 791db5edb9 Merge pull request #25 in SEL4/sel4 from ~ADANIS/sel4:pae to master 
* commit '4413fd1be516baeac30f77da8b23c3a9fef0ec07':
  x86: Make some vspace code and definitions non-static that get used by the PAE vspace code
  libsel4: Define different lookup levels for PAE
2015-12-17 03:29:54 +00:00
..
api Add debug functionality to print the kernel entry reason and arguments at any point in the kernel 2015-12-15 12:01:18 +11:00
arch Merge pull request #25 in SEL4/sel4 from ~ADANIS/sel4:pae to master 2015-12-17 03:29:54 +00: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 x86: Strip multi kernel support from the x86 kernel. This is not used and is conflicting with planned future features 2015-12-17 11:56:47 +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 x86: Strip multi kernel support from the x86 kernel. This is not used and is conflicting with planned future features 2015-12-17 11:56:47 +11: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