Safety Stack components
The Redkill Safety Stack is being built from first principles, with a focus on formal verification, safety certification, and hardware-software co-design. It consists of:
Microkernel
A formally verified, safety-certified, fully preemptive SMP microkernel designed for deterministic real-time behavior and strong memory protection. Features include:
- Preemptive multi-threading
- Priority based hard real-time scheduling
- Memory partitioning and virtual memory support
- Minimal Trusted Computing Base (TCB)
Hypervisor
A type-1 safety certified hypervisor purpose-built for safety-critical applications. It ensures:
- Spatial and temporal isolation of guests
- Integration of mixed-criticality systems
Userspace
Our userspace layer is modular and safety-certified:
- Peripheral drivers designed for real-time and safety
- Middleware for networking, file systems, and time synchronization
- Application frameworks for mission logic with restricted privilege execution