INTEGRITY Kernel libraries:

<fill in docs>