RESEARCH

Research Programs

The EmbeddedOS Foundation conducts open research across embedded AI, neural interfaces, OS architecture, and hardware security. All findings are published openly.

Research Areas

Neural Link & AI Integration

Research into brain-computer interfaces (BCI) using the ENI framework. Topics include spike sorting algorithms, neural decoding, closed-loop stimulation, and BCI latency optimization.

AI Operating Systems

Investigating how AI inference should be integrated at the OS level — scheduling AI tasks alongside real-time tasks, memory management for model weights, and hardware-aware kernel extensions.

Building OS with Linux/RTOS

Research into hybrid OS architectures that combine Linux user-space with real-time EoS kernel guarantees — enabling rich application ecosystems without sacrificing determinism.

Future Research Programs

Post-quantum cryptography for embedded systems, formal verification of the EoS kernel, energy harvesting OS primitives, and federated learning on microcontrollers.

Open Hardware Research

CAD-driven hardware co-design using the eCAD framework — from schematic capture to firmware simulation. Research into open hardware certification pathways (CE, FCC, FDA).

Embedded AI Benchmarks

Developing standardized benchmarks for embedded AI inference — latency, throughput, energy efficiency, and accuracy on constrained hardware. Published openly for community use.

Research Programme

What the Foundation publishes, and what it publishes about. Counts are live; a zero is work not yet done, not a category that does not exist.

By output

Technical Report

Research Dataset

By subject

Architecture Research

Security Research

Embedded Systems Research

Hardware Research

Networking Research

Research Programmes

Collaboration and funding, as distinct from what the Foundation publishes.

University Collaborations

Planned

Formal research partnerships with academic groups, publishing jointly and contributing results back into the platform.

Industry Collaborations

Planned

Applied research with companies deploying EmbeddedOS, on problems too large for one organisation and too specific for a standards body.

Research Grants

Planned

Funding for independent work on the embedded stack — security analysis, formal verification, hardware bring-up — awarded on published criteria.

These programmes are proposed and not yet running. Nothing here is open for applications today. If you would like to help start one, get in touch.

Publications & Reports

EoS RTOS Roadmap 2026: Tickless Idle, RT-IPC, Formal Verification

September 2025Roadmap

ENI's Configurable Neural Pipeline: A Deterministic Benchmark Plan

August 2025Research

eBoot Secure Boot: A Measured-Launch Walkthrough

June 2025Security

EAI 0.9: INT4 LLM Runtime — 11 tok/s on Cortex-M85

May 2025Benchmark

Capability-Based Security in Real-Time Operating Systems

January 2025Technical Paper

eBuild: Declarative Cross-Compilation for Embedded AI Systems

January 2024Technical Paper

Contribute to Research

The Foundation welcomes research contributions. Apply for a fellowship or open a research RFC on GitHub Discussions.

Apply for Fellowship GitHub Discussions