Domain: Security / Trusted Execution Environment; Licenses: GPL-2.0;