Merge branch 'mapping_caps'
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 9 Dec 2015 17:08:38 +0000 (18:08 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 9 Dec 2015 17:08:38 +0000 (18:08 +0100)
commitc816edf6fce74920f39e4411d2b825791bd5e293
tree71c7b202c09baaa2ceb36fef2ba97a79b7ad14d1
parent5adb0fc810c4c14d868b5a30fea2f6f7a99eb78b
parent5d5ba1b49f76213c6d611938c5fc6e1c7a1d3123
Merge branch 'mapping_caps'

Closes T187.

This merge implements mapping capabilities that replace the need for
creating copies of Frame capabilitites when mapping the same Frame
capability multiple times.  Mapping capabilities are derived from
the type that is mapped (e.g.  Frame_Mapping for Frame capabilities)
and are created in a provided, free capability slot on a VNode map
invocation.  Further the VNode unmap invocation now takes a VNode
and a Mapping capability as it's arguments.

Further changes in this merge are:
 * 64 byte capabilities on all supported architectures and platforms
 * The address property of a capability can be defined recursively

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
errors/errno.fugu
include/arch/x86_32/barrelfish/invocations_arch.h
include/barrelfish_kpi/capabilities.h
kernel/arch/arm/syscall.c
kernel/arch/armv8/syscall.c
kernel/arch/x86_32/syscall.c
lib/barrelfish/target/x86_32/pmap_target.c
lib/spawndomain/spawn.c
platforms/Hakefile
usr/monitor/include/arch/x86_32/monitor_invocations_arch.h