make mmu_aware vspace code support multiple page sizes.
authorSimon Gerber <simon.gerber@hp.com>
Thu, 17 Jul 2014 21:40:05 +0000 (14:40 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:13 +0000 (11:28 +0200)
commit15000efabae2b2abb7aa55abe914b85d7694e650
tree78f7d43fa52091d250ed50a34282dcc6fb9c4651
parentbc089f28698cf2d4c7206dbf85cd83a53db598df
make mmu_aware vspace code support multiple page sizes.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
include/barrelfish/vspace_mmu_aware.h
lib/barrelfish/morecore.c
lib/barrelfish/slot_alloc/multi_slot_alloc.c
lib/barrelfish/vspace/mmu_aware.c