Upcoming Features
- RV32 M/U-only Systems
- Concurrent Multithreading
- I/O PMP Integration for SoCs
- Agile Formal Verification (Experimental)
Mar, 2020
Version 0.4ALPHA
- Rust Implementation (Experimental)
- Simple Demand Paging Extension
- Denial of Service Protection
- Upstream Bump for Linux, Buildroot, and QEMU
- Switch to CMake Build System
July, 2019
Version 0.3ALPHA
- Initial SM/Runtime Plugins
- seL4 Runtime Running in Keystone
- Eyrie Runtime Supports I/O System Calls
- Eyrie Runtime Supports Virtual Memory Management
Mar, 2019
Version 0.2ALPHA
- Better Packaging
- Continuous Memory Allocator (CMA) Integration
Dec, 2018
Version 0.1ALPHA
- Physical Memory Isolation
- Page Table Isolation
- Remote Attestation
- Multicore Support
- Software Development Kit (SDK)