35 results found Sort:
- Filter by Primary Language:
- C (21)
- C++ (5)
- Rust (5)
- Shell (1)
- Pascal (1)
- Ada (1)
- POV-Ray SDL (1)
- +
Mirror of https://gitlab.redox-os.org/redox-os/redox
Created
2015-04-20
3,557 commits to master branch, last one a day ago
RT-Thread is an open source IoT real-time operating system (RTOS).
Created
2013-01-02
16,096 commits to master branch, last one 21 hours ago
The seL4 microkernel
Created
2014-07-18
4,506 commits to master branch, last one 5 days ago
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
This repository has been archived
(exclude archived)
Created
2018-02-19
187 commits to master branch, last one about a year ago
Zircon microkernel reimplemented in Rust.
Created
2019-11-19
1,979 commits to master branch, last one about a year ago
Pragmatic microkernel-based OS with fully asynchronous I/O
Created
2016-07-11
4,186 commits to master branch, last one 3 days ago
A portable microkernel-based multiserver operating system written from scratch.
Created
2017-10-12
18,298 commits to master branch, last one 2 days ago
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Created
2021-06-03
1,454 commits to main branch, last one 9 months ago
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Created
2019-07-06
21 commits to master branch, last one about a year ago
FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.
Created
2015-03-17
1,589 commits to master branch, last one 3 years ago
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Created
2020-09-16
86 commits to master branch, last one 4 months ago
Ghost, a micro-kernel based hobby operating system.
Created
2015-07-26
388 commits to master branch, last one 9 months ago
A microkernel-based hackable operating system.
Created
2018-12-14
1,756 commits to main branch, last one 8 months ago
NOVA Microhypervisor
Created
2012-03-02
404 commits to release branch, last one about a month ago
Microkernel and userspace written in Rust exploring modern ideas
Created
2017-08-26
1,650 commits to main branch, last one 4 days ago
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Created
2015-11-29
502 commits to main branch, last one 3 years ago
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Created
2013-01-13
3,301 commits to master branch, last one 10 months ago
This repository has no description...
Created
2023-03-31
26 commits to main branch, last one 2 months ago
Rust operating system running WebAssembly as userspace in ring 0
Created
2019-03-08
375 commits to main branch, last one 3 years ago
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Created
2021-01-13
2,411 commits to main branch, last one 2 days ago
Phoenix-RTOS microkernel repository
Created
2018-03-19
1,320 commits to master branch, last one 7 days ago
Codezero Microkernel
Created
2013-08-13
1,022 commits to master branch, last one 2 years ago
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Created
2021-02-16
359 commits to main branch, last one about a year ago
The development version of the L4Re Microkernel
Created
2018-02-06
2,942 commits to master branch, last one 3 days ago
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
Created
2018-02-21
317 commits to main branch, last one 12 days ago
POK kernel. Safe and secure for safety-critical systems.
Created
2014-02-22
331 commits to main branch, last one 3 months ago
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 separati...
Created
2018-12-21
250 commits to master branch, last one 4 months ago
A secure and high performances microkernel for building secure MCU-based IoTs
Created
2018-09-25
520 commits to master branch, last one 3 years ago
Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (82...
Created
2015-03-13
61 commits to master branch, last one 2 months ago
The core components of the L4Re operating system.
Created
2018-07-02
2,065 commits to master branch, last one 3 days ago