HelenOS sources

abi/include/abi/cap.h
kernel/generic/include/cap/cap.h