ZetaKernel
ZetaKernel is an open-source operating system kernel project designed for both embedded and general-purpose systems. It aims to provide a well-defined, adaptable core with modular components and a structured development process. The project emphasizes safety, performance, and portability, and is developed by the Zeta community under a permissive license.
ZetaKernel uses a microkernel-inspired core that handles fundamental primitives such as inter-process communication, thread scheduling, and
The kernel offers a unified IPC mechanism, kernel-user boundary enforcement, optional virtualization support via para-virtualized interfaces
ZetaKernel is released under a permissive license and hosted on platforms like GitHub. It uses a modular
Supported architectures include x86-64 and AArch64; experimental support for RISC-V. Benchmarks indicate competitive IPC performance in