verdekt
Verdekt is a lightweight, open‑source operating system designed specifically for Internet of Things (IoT) devices. Developed to provide a minimalistic yet secure runtime environment, Verdekt offers real‑time capabilities with a footprint of less than 500 KB, making it suitable for microcontrollers with limited memory and storage. The operating system implements a microkernel architecture, separating core services such as memory management, task scheduling, and network protocols from device drivers, which can be added or removed as needed.
The project began in 2014 as a research initiative at the University of Alpenstadt, led by Dr.
Since its launch, Verdekt has been adopted by a handful of sensor‑domestic and agricultural applications, notably