T187: armv7: migrate to mapping caps.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 20 Nov 2015 16:42:04 +0000 (17:42 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 23 Nov 2015 16:40:47 +0000 (17:40 +0100)
commit8a499577b3ad71a505a1e65c9c7fd2e7d8199c9b
treeed6ac2dca45d85f7982c9ba4f6fcc7b07d2a7696
parent333042e4c2b5ac36c8055246842da8134d36e0a4
T187: armv7: migrate to mapping caps.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
errors/errno.fugu
include/arch/arm/barrelfish/invocations_arch.h
include/target/arm/barrelfish/pmap_target.h
kernel/arch/arm/syscall.c
kernel/arch/armv7/paging.c
kernel/paging_generic.c
lib/barrelfish/arch/arm/pmap_arch.c
lib/spawndomain/arch/arm/spawn_arch.c
lib/spawndomain/spawn.c