Merge large page support code.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:31:03 +0000 (11:31 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:31:03 +0000 (11:31 +0200)
commit644817a0cfa27fb3f920287f5443ee7d951188d8
tree49f6e06910ddee5a4fe213334ef2491412b44bc5
parentde82988986c325ef2ad673e695b775516d15123b
parent940083e4227a621c0e766b9e9d049bc5309aa5ce
Merge large page support code.

This code was originally written by Andreas Dillier as a deliverable for his
Bachelor thesis at ETH Zurich in 2013. Simon Gerber then fixed and extended
the implementation of large page support while employed by HP Labs in summer
2014.
The files that contain code written while Simon was employed by HP Labs have
updated copyright notices and the relevant commits are marked with
"Signed-off-by: Simon Gerber <simon.gerber@hp.com>" (as is this merge).

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
18 files changed:
errors/errno.fugu
hake/Config.hs.template
hake/symbolic_targets.mk
include/barrelfish/vregion.h
include/barrelfish/vspace_mmu_aware.h
kernel/arch/armv7/paging.c
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/startup_arch.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/include/target/x86_64/paging_kernel_target.h
kernel/paging_generic.c
lib/barrelfish/Hakefile
lib/barrelfish/arch/arm/pmap_arch.c
lib/barrelfish/init.c
lib/barrelfish/morecore.c
lib/barrelfish/target/x86_64/pmap_target.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/utils.c