portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis af0f3b361f ia32: Large commit that implements PAE paging for x86 
This commit involves the PAE paging itself, refactoring the
vspace code to extra what is common between PAE and 32bit paging,
as well as some renaming to not call the root paging structure
a PD
2015-01-28 12:11:51 +11:00
..
api make include/api/constants.h the same as libsel4/include/sel4/constants.h 2014-12-23 13:21:28 +11:00
arch ia32: Large commit that implements PAE paging for x86 2015-01-28 12:11:51 +11:00
kernel Release snapshot 2014-07-18 05:03:59 +10:00
machine Release snapshot 2014-07-18 05:03:59 +10:00
model Release snapshot 2014-07-18 05:03:59 +10:00
object trivial: Remove unimplemented function prototype. 2014-10-21 11:52:24 +11:00
plat ia32: Large commit that implements PAE paging for x86 2015-01-28 12:11:51 +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
benchmark.h Release snapshot 2014-07-18 05:03:59 +10:00
bootinfo.h ia32: Large commit that implements PAE paging for x86 2015-01-28 12:11:51 +11:00
config.h Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame 2014-09-03 14:06:03 +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
types.h Release snapshot 2014-07-18 05:03:59 +10:00
util.h Release snapshot 2014-07-18 05:03:59 +10:00