helenos
Microkernel OS
A portable microkernel-based multiserver operating system designed for flexibility and modularity.
A portable microkernel-based multiserver operating system written from scratch.
1k stars
57 watching
142 forks
Language: C
last commit: 3 months ago
Linked from 1 awesome list
componentsdriversguihelenoskernelmicrokernelmulticoremultiserveroperating-systemsoundtcp-ipusb
jubalh/awesome-osRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hhuos/hhuos | A small, C++ and Assembler-based operating system project designed to demonstrate key concepts of operating systems theory | 152 |
 jserv/mini-arm-os | Builds a minimal multi-tasking OS kernel for ARM from scratch | 1,072 |
 managarm/managarm | An operating system with a microkernel architecture and asynchronous I/O support | 1,595 |
 haiku/haiku | An operating system designed for personal computing with a focus on simplicity and minimal configuration. | 1,938 |
 ozkl/soso | A simple 32-bit Unix-like operating system with multitasking, paging, and virtual file systems. | 907 |
 embedded2015/mini-arm-os | A minimal multi-tasking OS kernel built from scratch for ARM Cortex-M series microcontrollers | 181 |
 malwarepad/cavos | An x86-64 operating system with a focus on simplicity, readability, and compatibility with Linux. | 303 |
 bone-project/boneos | An operating system kernel and source tree for development of an embedded system | 129 |
 tzucarlos/raspberrypi | Developing a microkernel OS on the Raspberry Pi using ARMv6 hardware | 22 |
 lucperkins/colossus | An example microservice architecture for Kubernetes using Bazel, Go, Java, Docker, and gRPC | 1,035 |
 onkwon/yaos | An embedded operating system for single-core processors without MMU virtualization. | 47 |
 iguessthislldo/georgios | An experimental operating system designed to learn and explore operating system development concepts | 48 |
 menix-os/menix | A minimal Unix-like kernel that can be expanded and loaded at runtime with dynamic linking | 19 |
 marceldobehere/maslos | An operating system written in C++ and C, with support for various hardware interfaces and GUI components. | 92 |
 marcocicognani/meetixos | A hobby operating system project aiming to create a Unix-like system with modern C++20 and a custom kernel. | 189 |