EIEIKerne
EIEIKerne is a family of open-source kernels designed for embedded and real-time systems. It emphasizes modularity, portability, and deterministic performance, and is developed by the European Institute for Embedded Intelligence (EIEI) and a broad community of contributors. The project positions itself as a microkernel-based platform that can run service components in user space while providing strong isolation and a minimal privileged core.
Architecture and design: EIEIKerne uses a microkernel core that handles inter-process communication, scheduling, and low-level resource
Features: modular build and configuration, POSIX-like API compatibility, a device-driver model that allows hot-plugging and reconfiguration,
Applications and governance: EIEIKerne has seen use in automotive control units, industrial automation, and edge computing
See also: Microkernel, RTOS, seL4, L4 family, Operating system kernel development.