T187: x86_64: squash capability size to 64 bytes
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Nov 2015 19:11:55 +0000 (20:11 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Nov 2015 19:11:55 +0000 (20:11 +0100)
commitbd42059e77e78a41c4e11eea0229d188cfbe6951
tree31f7487c982513c67e6d38c0c1e558e80a044dcb
parenta790c61bfd7fba2654a6ed04b6b19bb565cf7aee
T187: x86_64: squash capability size to 64 bytes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/init.h
kernel/arch/x86_64/entry.S
kernel/arch/x86_64/syscall.c
kernel/include/capabilities.h
kernel/syscall.c
tools/hamlet/HamletBackend.lhs
tools/hamlet/Main.lhs
usr/monitor/include/arch/x86_64/monitor_invocations_arch.h