Norman Feske 88b358c5ef Unification of native_capability.h ... This patch establishes the sole use of generic headers across all kernels. The common 'native_capability.h' is based on the version of base-sel4. All traditional L4 kernels and Linux use the same implementation of the capability-lifetime management. On base-hw, NOVA, Fiasco.OC, and seL4, custom implementations (based on their original mechanisms) are used, with the potential to unify them further in the future. This change achieves binary compatibility of dynamically linked programs across all kernels. Furthermore, the patch introduces a Native_capability::print method, which allows the easy output of the kernel-specific capability representation using the base/log.h API. Issue #1993		2016-07-11 13:07:37 +02:00
..
doc	Update Muen port to revision c73734d	2016-07-06 13:02:58 +02:00
include	Unification of native_capability.h	2016-07-11 13:07:37 +02:00
lib	hw_x86_64_muen: implement VM service skeleton	2016-07-06 13:02:55 +02:00
mk/spec	hw_zynq: refactor specs	2016-04-25 10:48:00 +02:00
ports	Update Muen port to revision c73734d	2016-07-06 13:02:58 +02:00
run	hw: add dummy config to kernel tests	2016-05-26 15:54:15 +02:00
src	Unification of native_capability.h	2016-07-11 13:07:37 +02:00