ZAYA Secure Kernel is a rich, functionally secure and security certification-friendly Operating System for IoT devices.

Functional API Details

RTOS: Zaya V1.1
Firmware: TF-M 1.0 beta
API Test Suite Version: 0.8
Hardware: Musca-A1