Zephyr and Trusted Execution Environments