Пример TrustZone GCC (Cortex A9 - ZedBoard Zynq 7000)

Question

Я пытаюсь запустить простой пример TrustZone на ZedBoard, просто чистую программу, которая переключается между безопасным миром и нормальным миром. Есть ли такие примеры для компилятора GCC? Официальный пример ARM написан в основном на ARM Assembly. Я уже начал переносить пример на GCC, но у меня довольно много проблем с этим, так как я не очень опытен ни на одном из диалектов Ассамблеи