git.barrelfish.org Git - barrelfish/commit

author	Simon Gerber <simon.gerber@inf.ethz.ch>
	Wed, 22 Jul 2015 13:06:31 +0000 (15:06 +0200)
committer	David Cock <david.cock@inf.ethz.ch>
	Tue, 11 Aug 2015 09:19:37 +0000 (11:19 +0200)
commit	5fbf6836aaab8602cf2e02af5781a8f2ed700e78
tree	4c7d16d3915ca9d4eacc5cedb44b29d962d3fcad	tree \| snapshot
parent	470cc5bde603b5b3b92ad67322a635e5128f117b	commit \| diff

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>

Barrelfish OS git repo

RSS Atom

include/arch/arm/barrelfish/invocations_arch.h		diff \| blob \| history
include/target/arm/barrelfish/pmap_target.h		diff \| blob \| history
kernel/arch/arm/syscall.c		diff \| blob \| history
kernel/arch/armv7/paging.c		diff \| blob \| history
lib/barrelfish/arch/arm/pmap_arch.c		diff \| blob \| history
lib/barrelfish/dispatch.c		diff \| blob \| history
lib/barrelfish/vspace/mmu_aware.c		diff \| blob \| history
usr/tests/large_page/Hakefile		diff \| blob \| history
usr/tests/large_page/malloc_test.c		diff \| blob \| history
usr/tests/large_page/map_test_32.c		diff \| blob \| history