[ Live Demonstrations ]

See It.
Run It.
Verify It.

Interactive demonstrations of our formally verified RTOS running on real hardware. Watch SMP boot sequences, kernel initialization, and safety-critical operations in action.

ARM64 Simulator Demo

SMP on a Quad core ARMv8 QEMU virt system with GICv3, UART, percpu timer, multi-threading, full preemption, in-kernel unit testing support

ARM64 SMP Boot Sequence
Live: ARM64 Boot • Click to Expand

AJIT Simulator Demo

SMP on a Quad core SPARCv8 AJIT processor QEMU system with UART, multi-core interrupt controller, timer, multi-threading, full preemption, in-kernel unit testing support

AJIT SPARCv8 SMP Boot Sequence
Live: AJIT Boot • Click to Expand

AJIT Hardware Demo

Single core SPARCv8 AJIT processor with UART, Interrupt controller, timer, multi-threading, full preemption, in-kernel unit testing support

Live: Hardware Bringup • Click to Expand

RISC-V 32-bit Simulator Demo

SMP on a Quad core RV32 processor QEMU system with UART, multi-core interrupt controller, timer, multi-threading, full preemption, in-kernel unit testing support

RISC-V 32-bit SMP Boot Sequence
Live: RV32 Boot • Click to Expand

RISC-V 64-bit Simulator Demo

SMP on a Quad core RV64 processor QEMU system with UART, multi-core interrupt controller, timer, multi-threading, full preemption, in-kernel unit testing support

RISC-V 64-bit SMP Boot Sequence
Live: RV64 Boot • Click to Expand

Build the Future of
Safety-Critical
Systems

We are looking for early partners, daring engineers, and strategic investors who understand that the next decade of defense and space tech requires a sovereign foundation.

Pre Incubated at SINE, IIT Bombay
contact@redkill.in

Location

Bengaluru, India
© 2024 Redkill Technologies Pvt Ltd.