singpolyma-kernel

A basic microkernel

ISC License

Stars
35
View Code on GitHub Visit Website
Ecosystems: C

Statistics for this project are still being loaded, please check back later.

Related Projects
halfix

x86 PC emulator that runs both natively and in the browser, via WebAssembly

26 Oct 2019 668
xv6-riscv

Xv6 for RISC-V

26 Aug 2019 6,976
youbix

Yet another simple kernel

07 Apr 2018 12
xv6

mirror of the source code of the Xv6 operating system

05 Nov 2011 479
riscv-pke

2023年华中科技大学操作系统实验 riscv-pke

29 Dec 2023 4
SKernel

Simple x86 Operating System Kernel running in 32-bit protected mode that implements process manag...

02 Feb 2024 5
Osmanthus

A developing operating system

05 Feb 2018 36
sectorc

A C Compiler that fits in the 512 byte boot sector of an x86 machine

24 May 2023 1,619
xv6-public

xv6 OS

10 Aug 2015 7,792
embox

Modular and configurable OS for embedded applications

29 Mar 2015 1,113
nek

Nintento Entertainment Kernel: Nintendo emulator

05 Mar 2015 53
X86EmulatorPkg

27 Mar 2017 62
dros

25 Mar 2015 1
qemu-syborg

QEMU virtual platform, Symbian baseport (BSP) and tools

10 Nov 2011 7
lk

LK embedded kernel

27 Dec 2011 3,089