EmbLinkOs

Deterministic real-time kernel for microcontrollers, from 8-bit AVR to Cortex-M, RISC-V and ESP32. Tested on real boards (Arduino Uno, STM32 NUCLEO, Raspberry Pi Pico 2 W, ESP32), requirement-traced, MISRA-oriented C, reproducible builds.

Electronics and embedded systems simulator: real microcontrollers (Arduino Uno, ESP32-C3 with Wi-Fi and Bluetooth LE, STM32 NUCLEO, Raspberry Pi Pico, nRF52840) run unmodified firmware in schematics, on a 3D breadboard and in analog circuits, with virtual instruments.

EmbLink Studio: the development system for EmbLinkRTOS. A Python core that configures, builds, flashes and debugs, and a Qt 6 desktop that makes it visible.

C and C++ compiler and toolchain for embedded systems and operating systems. One binary targets Arm Cortex-M/A, RISC-V, AVR, Xtensa, TriCore, RX, ColdFire, MIPS, PowerPC, SPARC, LoongArch, x86-64 and AArch64, with its own assembler, linker, debugger and simulator.

Os Development

A code repository designed to show the best GitHub has to offer.

EmbLinkOS package registry (signed manifests)