ProvenCore-M is a secure microkernel designed for building trusted IoT solutions on ARM V8M architecture. It provides a foundation for device makers to implement security in connected devices through microkernel-based application isolation and memory separation. **Architecture & Isolation:** The microkernel architecture enforces secure isolation of applications, ensuring complete separation of memory and resources. Its design targets zero-defect software quality to minimize attack surface. **Certification & Compliance:** ProvenCore-M has achieved pre-certification at PSA Certified Level 3 and SESIP Level 3. It supports ARM Platform Security Architecture (PSA) concepts and Client APIs to facilitate application development and portability. **Development Support:** A complete SDK is included, along with a set of APIs and tools to support trusted application development. Integration and deployment documentation is also provided. **Architecture Support:** Compatible with any ARM V8M architecture, providing flexibility across diverse IoT deployments. **Footprint:** Maintains a small footprint while allowing efficient utilization of system resources. **Package Contents:** - ProvenCore-M microkernel binary - Complete SDK for trusted application development - Integration and deployment documentation ProvenCore-M is available under a commercial license, obtainable by contacting ProvenRun directly.