Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 C Kernel Microkernel Open Source Projects

Open source projects categorized as C Kernel Microkernel
Harmonyos ⭐ 18,477
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
most recent commit 2 years ago
Rt Thread ⭐ 9,221
RT-Thread is an open source IoT real-time operating system (RTOS).
most recent commit 3 months ago
Helenos ⭐ 1,265
A portable microkernel-based multiserver operating system written from scratch.
most recent commit 3 months ago
Brutal ⭐ 990
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
most recent commit 8 months ago
Openharmony ⭐ 673
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
most recent commit 3 months ago
F9 Kernel ⭐ 563
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
most recent commit 4 years ago
Ghost ⭐ 531
Ghost, a micro-kernel based hobby operating system.
most recent commit 8 months ago
Phoenix Rtos Kernel ⭐ 99
Phoenix-RTOS microkernel repository
most recent commit 3 months ago
Moonos ⭐ 91
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
most recent commit a year ago
Pok ⭐ 79
POK kernel. Safe and secure for safety-critical systems.
most recent commit 3 months ago
M3 ⭐ 66
Microkernel-based system for heterogeneous manycores
most recent commit 4 years ago
Munix Legacy ⭐ 57
🦠 µnix is a UNIX-like operating system
most recent commit 3 years ago
Toddler ⭐ 55
Toddler is a well-designed usable and portable microkernel OS
most recent commit 5 years ago
Openqnx ⭐ 52
mirror of git://git.code.sf.net/p/monartis/openqnx
most recent commit 8 years ago
Lf Os_amd64 ⭐ 38
Hobby operating system for amd64 with high ambitions - mirror
most recent commit 3 months ago
Singpolyma Kernel ⭐ 27
A basic microkernel
most recent commit 11 years ago
Microkernel ⭐ 21
Research Microkernel for Manycores
most recent commit 3 months ago
Fukuro ⭐ 20
Simple microkernel (early stage)
most recent commit 5 months ago
Mcube ⭐ 19
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
most recent commit 4 years ago
Gaia ⭐ 19
Exokernel/framework intended to ease the development of pure user space OS kernels
most recent commit 12 years ago
Kernel ⭐ 19
My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
most recent commit 3 years ago
Cherios ⭐ 17
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
most recent commit 2 years ago
Cthulhu Os ⭐ 16
x86-64 SMP enabled microkernel hobbyist OS
most recent commit 8 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.