|
|
C |
7 |
A modular, x86_64 micro-kernel operating system |
Nov 07, 2022 |
|
|
C |
498 |
Ghost, a micro-kernel based hobby operating system. |
Apr 25, 2023 |
|
|
C |
10 |
Tiny Kernel is a work in progress Operating System kernel. |
Mar 11, 2022 |
|
|
C++ |
7 |
Lightweight Micro Operating System |
Mar 17, 2022 |
|
|
C |
4 |
A micro-kernel operating system based on the Barrelfish CPU-driver. |
Mar 13, 2020 |
|
|
C |
61 |
Sanos operating system kernel |
Apr 20, 2023 |
|
|
C |
4 |
Labs of SE3357 Operating System —— Build a Micro Kernel OS from scratch 🥳 |
Apr 04, 2023 |
|
|
C |
3 |
Lisp-Based Operating System Kernel |
Jan 26, 2023 |
|
|
C++ |
6 |
Cardinal kernel and operating system |
Apr 14, 2023 |
|
|
Assembly |
2 |
Hyperion, an operating system kernel |
Jul 04, 2023 |
|
|
C |
15 |
A tiny toy operating system ¯\_(ツ)_/¯ |
Apr 14, 2023 |
|
|
C |
13 |
Kernel for the LuaOS operating system |
Jun 08, 2022 |
|
|
C |
3 |
Operating System Kernel, Just a exercise. |
Dec 09, 2013 |
|
|
C |
16 |
Kernel for my operating system KoraOS |
Mar 16, 2023 |
|
|
Rust |
5 |
Kernel for the Oro Operating System |
Apr 14, 2023 |
|
|
Makefile |
6 |
A Linux kernel based operating system |
Jul 17, 2022 |
|
|
C |
2 |
Micro operating system based on previous design. |
Jan 07, 2018 |
|
|
Rust |
6 |
A tiny operating system built with Rust. |
Apr 11, 2023 |
|
|
C++ |
4 |
16 bit Real mode operating system kernel |
Oct 19, 2022 |
|
|
Assembly |
3 |
A simple 64-bit operating system kernel. |
Sep 10, 2022 |
|
|
Assembly |
2 |
MOS, Micro Operating System for the PDP-11 |
Mar 25, 2022 |
|
|
Assembly |
80 |
A tiny operating system based on x86 architecture. |
Jul 31, 2022 |
|
|
C |
2 |
Micro Kernel |
Mar 04, 2019 |
|
|
C |
8 |
[redacted]os - a hobbyist x86_64 operating system kernel. |
Jun 07, 2022 |
|
|
C |
8 |
Operating system written in C. Monolithic kernel design. |
Jul 16, 2022 |
|
|
Makefile |
10 |
my operating system kernel challenge source code :tada: |
Feb 03, 2022 |
|
|
C |
11 |
Realtime operating system kernel for TI TMS320F24x DSP |
Nov 02, 2020 |
|
|
C |
12 |
My attempts at developing an operating system kernel. |
May 03, 2022 |
|
|
C |
3 |
Learning how to write a operating system kernel. |
Jun 22, 2022 |
|
|
None |
3 |
The essential kernel of Real-time Operating System |
Feb 07, 2021 |
|
|
Assembly |
10 |
waccOS, an operating system kernel written in WACC. |
Mar 10, 2023 |
|
|
C |
9 |
Examples of Kernel Modules for various Operating System. |
Jan 26, 2022 |
|
|
C |
10 |
A tiny operating system, written in C and ASM |
Apr 14, 2023 |
|
|
Rust |
4 |
Operating system kernel completely written in pure, idiomatic Rust. |
Apr 14, 2023 |
|
|
Rust |
2 |
An x86-64 operating system kernel written in Rust. |
Apr 01, 2020 |
|
|
Dart |
6 |
open source operating system based flutter and kernel zircon |
Mar 16, 2023 |
|
|
C |
29 |
A 64bit operating system kernel with graphical user interface. |
May 11, 2023 |
|
|
C |
362 |
Cloud Kernel - an open-source Linux kernel originated by Alibaba Operating System Team |
Jul 15, 2022 |
|
|
C |
4 |
My Tiny C Shell created after taking Operating System Course |
May 22, 2020 |
|
|
None |
7 |
Learning operating system development using Linux kernel and Raspberry Pi |
Jul 20, 2022 |
|
|
C |
11630 |
Learning operating system development using Linux kernel and Raspberry Pi |
Aug 17, 2022 |
|
|
D |
20 |
An operating system kernel for RISC-V and AArch64 SBCs |
Mar 18, 2023 |
|
|
C |
2 |
Operating System Kernel implementation (Arm Cortex-A8) w/ VMSA MMU |
Oct 29, 2021 |
|
|
Rust |
11 |
rv6 is a kernel & operating system written entirely in rust. |
Feb 13, 2023 |
|
|
C |
10 |
This is basic operating system, with kernel made in C. |
Apr 16, 2023 |
|
|
Perl |
7 |
The Linux kernel (the core of the Linux operating system) |
Sep 04, 2022 |
|
|
C |
2 |
A toy operating system kernel, for the heck of it |
May 15, 2022 |
|
|
C |
2 |
A multitasking operating system and kernel with an interactive shell. |
Mar 18, 2023 |
|
|
C |
3 |
A multitasking operating system and kernel with an interactive shell |
Jun 04, 2023 |
|
|
None |
3 |
Learning operating system development using Linux kernel and Raspberry Pi |
Jun 16, 2023 |