Search Results for "scheduling"

StateOS is a compact, open-source real-time operating system designed for embedded systems and written in ANSI C. It supports cooperative and preemptive multitasking, making it ideal for running multiple real-time tasks on microcontrollers. StateOS emphasizes clarity and ease of integration with existing projects and provides a full set of synchronization primitives, timers, and message-passing tools. It's widely used in industrial and academic settings for prototyping and low-level firmware...

ANTIRTOS is a compact real-time operating system (RTOS) written in ANSI C for microcontrollers and embedded systems. It is designed to be simple, portable, and efficient, making it ideal for resource-constrained environments such as IoT devices, robotics, and educational hardware projects. ANTIRTOS features a basic scheduler, support for cooperative and preemptive multitasking, and offers portability across different CPU architectures with minimal changes. Its simplicity and clarity make it...

Genode is a capability-based, component-oriented operating system framework focused on building secure, modular, and flexible operating systems. Unlike monolithic or microkernel-only designs, Genode allows developers to construct OSes from fine-grained components that communicate through well-defined interfaces. It supports multiple kernels including NOVA, seL4, and Fiasco.OC, and has been used to build everything from microhypervisors to full desktops. Genode places strong emphasis on...