Added ability to create certain capabilities at runtime (without using retype).
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Mon, 18 Jun 2012 09:04:50 +0000 (11:04 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Mon, 18 Jun 2012 09:04:50 +0000 (11:04 +0200)
commit96dc784140008ec2cba1f47b4211a9771f5750d4
tree6a9f879c2fdbc092ca4c54b7bec141e3e11400b7
parentec7f23460412aa44371e194d6d75da5eee17e624
Added ability to create certain capabilities at runtime (without using retype).

The CNode capabilities are enhanced with a new invocation 'CNodeCmd_Create',
allowing to create new capabilities at runtime.
Only certain types of capabilities can be created this way. If invoked on a
capability type, that is not creatable at runtime the error
SYS_ERR_NOT_CREATABLE is emitted.
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
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/include/syscall.h
kernel/syscall.c
lib/barrelfish/capabilities.c