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
141 forks
Language: C
last commit: 11 days ago
Linked from 1 awesome list
componentsdriversguihelenoskernelmicrokernelmulticoremultiserveroperating-systemsoundtcp-ipusb
jubalh/awesome-osRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hhuos/hhuos | An operating system project demonstrating various aspects of OS theory in C++ and Assembly for the x86 architecture. | 144 |
 jserv/mini-arm-os | Builds a minimal multi-tasking OS kernel for ARM from scratch | 1,064 |
 managarm/managarm | An operating system with a microkernel architecture and asynchronous I/O support | 1,589 |
 haiku/haiku | An operating system designed for personal computing with a focus on simplicity and minimal configuration. | 1,925 |
 ozkl/soso | A simple 32-bit Unix-like operating system with multitasking, paging, and virtual file systems. | 905 |
 embedded2015/mini-arm-os | A minimal multi-tasking OS kernel built from scratch for ARM Cortex-M series microcontrollers | 180 |
 malwarepad/cavos | A development project aiming to create a full operating system from scratch using C and x86-64 architecture. | 272 |
 bone-project/boneos | An operating system kernel and source tree for development of an embedded system | 130 |
 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,034 |
 onkwon/yaos | An embedded operating system for single-core ARM Cortex-M microcontrollers | 47 |
 iguessthislldo/georgios | An experimental operating system designed to learn and explore operating system development concepts | 48 |
 menix-os/menix | A minimal and expandable Unix-like kernel with modular architecture | 15 |
 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. | 188 |