Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c microkernel
c
x
microkernel
x
74 search results found
Harmonyos
⭐
18,477
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
Rt Thread
⭐
9,221
RT-Thread is an open source IoT real-time operating system (RTOS).
Sel4
⭐
4,435
The seL4 microkernel
Helenos
⭐
1,265
A portable microkernel-based multiserver operating system written from scratch.
Brutal
⭐
990
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Mit6.828_os
⭐
750
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.htm
Openharmony
⭐
673
华为开源鸿蒙分布式操作系统(Huawei OpenHarmony)开发技术交流,鸿蒙技术资料,手册,指南,共建国产操作系统万物互联新生态。
F9 Kernel
⭐
563
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Ghost
⭐
531
Ghost, a micro-kernel based hobby operating system.
Resea
⭐
473
A microkernel-based hackable operating system.
Recc
⭐
214
A collection of compiler, emulator and microkernel tools.
Minos
⭐
176
Flexible Virtualization Solution for Embedded System
Haiway
⭐
134
Haiway Edge Computing OS
Mystikos
⭐
129
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Cleese
⭐
108
an operating system in Python
Phoenix Rtos Kernel
⭐
99
Phoenix-RTOS microkernel repository
Microkernel Book
⭐
97
Codezero
⭐
91
Codezero Microkernel
Moonos
⭐
91
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Pok
⭐
79
POK kernel. Safe and secure for safety-critical systems.
Multizone Sdk
⭐
74
MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi
M3
⭐
66
Microkernel-based system for heterogeneous manycores
Munix Legacy
⭐
57
🦠 µnix is a UNIX-like operating system
Toddler
⭐
55
Toddler is a well-designed usable and portable microkernel OS
Openqnx
⭐
52
mirror of git://git.code.sf.net/p/monartis/openqnx
Curios
⭐
50
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
Lyos
⭐
48
Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
Apoptos
⭐
39
A modern x86_64 UNIX-like microkernel-based operating system
Mavis
⭐
38
A proof-of-concept using WASM runtime as a kernel
Lf Os_amd64
⭐
38
Hobby operating system for amd64 with high ambitions - mirror
Dux
⭐
29
An operating system.
Awooos
⭐
29
some kind of operating system
Singpolyma Kernel
⭐
27
A basic microkernel
Quic Lb
⭐
23
An implementation of the QUIC Load Balancing Algorithm, described in https://datatracker.ietf.org/doc/draft-ietf-quic-l
Microkernel
⭐
21
Research Microkernel for Manycores
Fuchsianotes
⭐
21
Magenta and Fuchsia notes
Kaneton
⭐
21
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
Fukuro
⭐
20
Simple microkernel (early stage)
Gaia
⭐
19
Exokernel/framework intended to ease the development of pure user space OS kernels
Kernel
⭐
19
My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
Mcube
⭐
19
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Cherios
⭐
17
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
Multizone Linux
⭐
16
MultiZone® Security Enclave for Linux
Cthulhu Os
⭐
16
x86-64 SMP enabled microkernel hobbyist OS
Gnumach_smp
⭐
16
SMP implementation in GNU Mach
Ulipertosv4
⭐
12
Simple preemptive, realtime, multitask kernel made just for fun.
Mink
⭐
12
A minimal experimental microkernel
Mh
⭐
12
Development moved to https://github.com/mhsys/mh
Tisix
⭐
11
Tiny and portable microkernel
Urd
⭐
10
A Unix-like and microkernel-based operating system for ARM
Magenta
⭐
9
Magenta Microkernel
Google Fuchsia Magenta
⭐
8
Microk
⭐
8
A reliable microkernel that is intended for every use on every device
Nexnix
⭐
7
The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power
Pinion
⭐
7
A microkernel designed as an engine for monolithic kernel development
Esp32 Microkernel
⭐
7
A microkernel for ESP32 targeting TTGO T-Watch-2020-V2
Slightx
⭐
7
A free x86 operating system conforming to POSIX.
Hasenpfeffer
⭐
7
A toy/educational operating system on top of L4 microkernel
Wasmosis
⭐
6
capability-passing "microkernel" for safely isolating WebAssembly modules
Moth
⭐
6
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Gnumach
⭐
6
Fork of gnumach
Pirix
⭐
6
A microkernel operating system
Mds
⭐
6
Avant-garde display server
Sel4 Riscv Mk
⭐
6
seL4 microkernel RISC-V port (OUTDATED!)
Mordax
⭐
6
A simple microkernel operating system
Os3
⭐
6
OS/2 personality (OS/2 API implementation on top of different kernels)
Kludgeos
⭐
6
A microkernel OS that features readability and simplicity, providing a starting point for OS hobbyists
Plumcore
⭐
5
A modular framework for data logging, remote data acquisition and low power wireless mesh networks.
Tinuos
⭐
5
Microkernel based OS
Horizon Microkernel
⭐
5
A hobby operating system written in C.
Sel4doom
⭐
5
Doom ported to the seL4 microkernel
Mikaboo
⭐
5
MicroKernel for Armv7 Bologna Operating systems course
Cardinal Semicolon
⭐
5
Cardinal; - An extremely modular, security oriented microkernel operating system.
Tysos
⭐
5
The type-safe operating system is a 64-bit multitasking microkernel written in C#.
Related Searches
C Kernel (12,841)
C Video Game (4,242)
C Driver (4,131)
Python C (4,069)
C Firmware (3,559)
C Arduino (3,118)
C Usb (2,579)
C Arm (2,566)
C Command Line (2,475)
C Algorithms (2,333)
1-74 of 74 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.