ZAYA Secure Kernel

Skip to content

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: Brightsight
Certification Holder: Zaya
Certified Product: ZAYA Secure Kernel
Hardware Version: A1
Software Version: 1.1
Certification Type: PSA Certified Level 1 v Beta 003
Developer Type: PSA Certified – System Software

Functional API Details

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