REDKILL
OS ArchitectureDemoBlogDownloadsCareersAbout Us
Join Waitlist

Complete Control Over Your
Critical Stack.

The only safety-critical OS that gives you the keys to the kernel. Open-source, formally verified, and 100% auditable. Don't rent your safety own it.

View Technical Architecture→

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

Legal

Privacy PolicyTerms of Service

Location

Bengaluru, India
© 2024 Redkill Technologies Pvt Ltd.

Critical Vulnerabilities

Safety Critical Shouldn't Mean "Black Box"

Sovereignty is an illusion without control over the stack.

01

Opaque

Proprietary RTOSes lock you out of the kernel. You can't audit, modify, or verify what's running.

02

Costly

Licensing fees, support contracts, and integration overhead drain budgets without adding value.

Evidence: Supply Chain

Army Cancels ₹230 Crore Drone Contracts

Chinese components found in defense drones, exposing critical supply chain vulnerabilities.

[ Read Intel ]
Military Drone
Evidence: Opaque

"Make in India" Drones Compromised

Foreign sub-systems created backdoors, exposing mission telemetry.

[ Read Intel ]
Evidence: Lock-In

Microsoft Blocks Nayara Data

Extraterritorial sanctions froze access to strategic energy assets instantly.

[ View Source ]

"The cost of not owning your stack is measured in lost sovereignty, not just dollars."

CEO, Zoho Corp // Sridhar Vembu

Read on X

The Architecture

Transparent.
Verifiable.
Modern.

Redkill fundamentally changes the relationship between the OEM and the OS. We believe that Safety requires Visibility.

01

Modular Partitioning

A clean architecture with strong formal boundaries to ensure fault isolation.

02

Hardware Agnostic

Built from the ground up for ARM64, RISC-V64, and Sparcv8 architectures.

03

Certification Ready

Designing for ISO 26262 ASIL-D (Automotive) and DO-178C Level A (Aerospace) compliance.

04

Formal Verification

Mathematically proven correctness with formal methods to ensure safety-critical reliability.

Verticals

Built for the
Edge of
Possibility

Our stack is engineered for environments where real-time performance and absolute reliability are non-negotiable.

REF: V-2024-09
01

Defense & Aerospace

Unmanned UAVs, stealth technology, missile systems, and secure communications.

02

Space Tech

Satellite constellations, remote sensing, and launch vehicle telemetry.

03

Automotive & Robotics

Next-generation autonomous systems requiring functional safety.

04

Medical & Infrastructure

High-reliability control for medtech devices and critical power infrastructure.

PROOF OF EXCELLENCE

Deep Tech,
Proven in
Reality

We aren't just writing whitepapers. We are shipping code.

01

Pre Incubated at SINE, IIT Bombay

Validated by India's premier deep-tech ecosystem.

02

Silicon Proven

SMP successfully validated on the indigenous AJIT Processor and standard ARM64 cores.

03

National Supercomputing Mission

Under contract to deliver customized OS software for advanced hardware platforms.

04

AI & Edge- Compute

Accelerating edge compute use cases like AI inference and signal/image processing with our partners.

The Team

Engineers
First.

We are a team of systems engineers and researchers from IIT Bombay and IIT Roorkee. Our background spans Google, Qualcomm, OnePlus, and AMD, with deep expertise in OS internals, firmware, and CPU architecture.

Prathu Baronia

Prathu Baronia

Google, Qualcomm
IIT Bombay

Neeraj Upadhyay

Neeraj Upadhyay

Linux Kernel Maintainer
AMD, Qualcomm
IIT Roorkee

Prof. Madhav Desai

Prof. Madhav Desai

Professor, EE Dept, IIT Bombay
Advisor

Work on Baremetal

View Open Roles