32bit arm: fix large page support. Close T148.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 22 Jul 2015 13:06:31 +0000 (15:06 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 09:19:37 +0000 (11:19 +0200)
commit5fbf6836aaab8602cf2e02af5781a8f2ed700e78
tree4c7d16d3915ca9d4eacc5cedb44b29d962d3fcad
parent470cc5bde603b5b3b92ad67322a635e5128f117b
32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/arch/arm/barrelfish/invocations_arch.h
include/target/arm/barrelfish/pmap_target.h
kernel/arch/arm/syscall.c
kernel/arch/armv7/paging.c
lib/barrelfish/arch/arm/pmap_arch.c
lib/barrelfish/dispatch.c
lib/barrelfish/vspace/mmu_aware.c
usr/tests/large_page/Hakefile
usr/tests/large_page/malloc_test.c
usr/tests/large_page/map_test_32.c