ZAYA Secure Kernel

Skip to content
ZAYA Secure Kernel

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

Learn more

PSA Certified Level 1 Details

Certificate Number: 0604565273253-10010
Date of Issue: 20/02/2019
Test Lab: SGS Brightsight
Certification Holder: Zaya
Certified Product: ZAYA Secure Kernel
Hardware Version: A1
Software Version: 1.1
Certification Type: PSA Certified Level 1 vBeta 003
Developer Type: PSA Certified – System Software

PSA Certified API Details

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