|
|
C |
6 |
capability-based microkernel |
Mar 23, 2023 |
|
|
C |
19 |
Simple microkernel (early stage) |
Feb 04, 2023 |
|
|
Rust |
6 |
A capability based microkernel OS. |
Jul 19, 2022 |
|
|
C |
17 |
A simple microkernel operating system |
Apr 29, 2023 |
|
|
Rust |
2 |
Microkernel-based system for heterogeneous manycores |
Mar 27, 2023 |
|
|
C |
447 |
A microkernel-based hackable operating system. |
Apr 30, 2023 |
|
|
Rust |
2 |
An experimental microkernel-based operating system. |
May 05, 2023 |
|
|
C |
2 |
A microkernel-based extensible operating system |
Nov 10, 2023 |
|
|
None |
2 |
A pure microkernel-based hackable operating system. |
Nov 08, 2020 |
|
|
C |
2 |
A hobby operating system based on my microkernel |
Jan 14, 2022 |
|
|
C |
4 |
Another operating system, microkernel based. Nothing to see |
Jan 14, 2021 |
|
|
C |
4 |
Spoon Microkernel |
Feb 06, 2020 |
|
|
C |
97 |
Codezero Microkernel |
Aug 23, 2022 |
|
|
C++ |
13 |
x86 Microkernel |
Feb 11, 2023 |
|
|
Rust |
4 |
A microkernel |
Jun 06, 2022 |
|
|
C++ |
933 |
Pragmatic microkernel-based OS with fully asynchronous I/O |
Aug 13, 2022 |
|
|
C++ |
2 |
Pragmatic microkernel-based OS with fully asynchronous I/O |
Mar 05, 2023 |
|
|
Rust |
5 |
The FlatMk Microkernel. |
Jun 01, 2021 |
|
|
Rust |
325 |
The Xous microkernel |
Aug 11, 2022 |
|
|
C |
3576 |
The seL4 microkernel |
Aug 30, 2022 |
|
|
C |
3 |
A tiny microkernel... :^) |
Nov 01, 2022 |
|
|
None |
21 |
The seL4 microkernel |
Feb 21, 2023 |
|
|
C |
34 |
A basic microkernel |
Jan 12, 2023 |
|
|
C |
2 |
The seL4 microkernel |
May 10, 2023 |
|
|
Visual Basic |
37 |
An OS based on a x86-Microkernel written in FreeBASIC. |
Mar 09, 2023 |
|
|
C |
81 |
Phoenix-RTOS microkernel repository |
Jul 29, 2022 |
|
|
JavaScript |
24 |
Microkernel for Server Applications |
Sep 15, 2022 |
|
|
Ada |
106 |
The Ada Microkernel Project |
Apr 26, 2023 |
|
|
C++ |
3 |
something resembling an microkernel |
Oct 17, 2016 |
|
|
Python |
4 |
seL4 Core Platform - A simple operating system for the seL4 microkernel |
Apr 20, 2023 |
|
|
Python |
2 |
seL4 Core Platform - A simple operating system for the seL4 microkernel |
Sep 21, 2023 |
|
|
Java |
2 |
Microkernel event-driven architecture library to create plugin-based event-driven applications. |
Apr 06, 2023 |
|
|
C |
3 |
An open-source, general purpose operating system based on the JOEL4 microkernel. |
Nov 20, 2019 |
|
|
Rust |
1401 |
Reimplement Zircon microkernel in Rust. |
Aug 18, 2022 |
|
|
Rust |
2 |
Reimplement Zircon microkernel in Rust. |
May 20, 2022 |
|
|
C |
4 |
Codezero microkernel by B-Labs |
Feb 27, 2021 |
|
|
PHP |
2 |
The "Symfony MicroKernel Edition" distribution |
Sep 03, 2020 |
|
|
C |
2 |
The Awesome Toy Microkernel (Atomik) |
Jul 06, 2022 |
|
|
Rust |
6 |
API for the hypervisor-microkernel boundary |
Apr 15, 2022 |
|
|
C |
22 |
:microbe: µ is a minimalist microkernel |
Apr 25, 2023 |
|
|
Assembly |
3 |
Repo of my Brawl Gecko codes, their source, and documentation |
Aug 28, 2022 |
|
|
Assembly |
3 |
Hello world in every programming language |
Nov 11, 2020 |
|
|
Assembly |
4 |
Tutorials on intel Asm x86 |
Feb 28, 2022 |
|
|
Assembly |
4 |
LZ4 decruncher (decompressor) for the 6502 cpu. |
Feb 26, 2022 |
|
|
Assembly |
4 |
A repository for my small assembly projects |
Sep 10, 2021 |
|
|
Assembly |
4 |
None |
May 03, 2022 |
|
|
Assembly |
4 |
None |
Jan 30, 2022 |
|
|
Assembly |
4 |
Bootloader for legacy BIOS computers. |
Feb 14, 2022 |
|
|
Assembly |
4 |
None |
Jun 11, 2022 |
|
|
Assembly |
4 |
Microcomputer principle course code of Beijing University of Chemical Technology |
Feb 12, 2022 |