Added ID capability, providing a system-wide unique ID.
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Fri, 22 Jun 2012 09:04:45 +0000 (11:04 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Fri, 22 Jun 2012 09:04:45 +0000 (11:04 +0200)
commit49d9d284019983fb679b87e0e54c4d7d2bacd5da
tree8471d9ec5e4317e7f50e372513e3ce3b91477aad
parente2bc9525e5df2c8fb1a3696a644267f8d31cf845
Added ID capability, providing a system-wide unique ID.

The ID capability currently supports one invocation called 'identify', to
retrieve the system-wide unique ID.

The Domain capability, which was never used, is removed with this patch, since
the ID capability provides a more general capability.
14 files changed:
capabilities/caps.hl
errors/errno.fugu
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/capabilities.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/types.h
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
kernel/include/syscall.h
kernel/syscall.c
lib/barrelfish/capabilities.c
lib/barrelfish/debug.c