[seL4] CAmkES components for security auditing.