Платформата е написана на Rust и работи на TockOS, за да осигури по-добра изолация и по-чисти абстракции на OS в подкрепа на сигурността. TockOS със своята архитектура предлага изолацията между апликацията на ключа за защита, драйверите и ядрото, което е необходимо за изграждане на задълбочена защита.