Most popular kernel repositories and open source projects

mit-scheme-kernel

Jupyter Kernel for MIT Scheme

7   62   62  

lava

Read only mirror https://git.lavasoftware.org/lava/lava

43   62   62  

jsix

A hobby operating system for x86_64, boots with UEFI.

13   62   62  

klika-os

Hobbyist and educational operating system written in C

12   62   62  

xnu-bcm2837-hackintosh

Efforts to build and run XNU (macOS Kernel)/Hackintosh on Raspberry Pi...

0   62   62  

rOSt

Making a small OS in pure rust

7   62   62  

rise

A better operating system

3   62   62  

MentOS

An educational 32-bit linux-like Operating System, with public bachelo...

33   62   62  

linux-on-pixel-c

Documentation on how to run a Linux Distro on the Google Pixel C (2015...

5   61   61  

sanos

Sanos operating system kernel

34   61   61  

argon-rtos

Argon RTOS: tiny embedded C/C++ RTOS for Cortex-M

12   61   61  

mbp-fedora-kernel

12   61   61  

FrOS

My 32 bit x86 OS journey.

22   61   61  

valkyrie

🔮 A UNIX-like toy kernel built from scratch (for AArch64) with preempt...

6   61   61  

hwidspoofer

kernel mode spoofer disk and smbios, socket communication

27   61   61  

CyanOSKernel

Coding an operating system to keep my sanity during the quarantine.

8   60   60  

vesper

Single-address-space capability-based nanokernel

4   60   60  

Rust-External

💻📖 Cheat , Rust External Release Bypass / Aimbot + Esp

38   59   59  

dobby2

Build your emulation environment as needed

8   58   58  

docker-cheat-sheet

All about docker commands

31   58   58  

kernel-hacking

An environment and set of utilities aimed at making kernel hacking sim...

7   58   58  

TheSubZeroProject

A multi-staged malware that contains a kernel mode rootkit and a remot...

14   58   58  

Onyx

UNIX-like operating system written in C and C++

5   58   58  

MiROS

MiROS (Minimal Real-Time Operating System) for ARM Cortex-M

12   58   58  

fpos

Free Pascal Operating System (FPOS) is a operating system consists of...

17   58   58  

Context-Icons

Discord Addon | v1.0.1 | by CorellanStoma

10   58   58  

sos

Sian's Operating System

15   57   57  

xelix

💻⚙ Xelix is a hobby Unix-like kernel with GNU userland for x86

5   57   57  

munix-legacy

🦠 µnix is a UNIX-like operating system

3   57   57  

SanderOSUSB

32 bit singletasking C kernel

9   57   57  

dyalog-jupyter-kernel

A Jupyter kernel for Dyalog APL

17   57   57  

LearnOS

This is one of my long awaited project on learning to develop an Opera...

5   57   57  

SyscallDumper

Dump system call codes, names, and offsets from Ntdll.dll

12   57   57  

nanopi-r2s-ubuntu-server-minimal-image

Ubuntu 20.04 LTS Server for NanoPi R2S - Mainline Kernel 5.7.y / 5.8.y...

7   56   56  

lunatik

Lunatik is a framework for scripting the Linux kernel with Lua.

10   56   56  

LensorOS

An OS based on UEFI

9   56   56  

teensycore

A rust kernel for the Teensy 4.0

1   56   56  

KERMIT

🐸 KERMIT - A lightweight library to encode and interpret Universal Sy...

7   55   55  

GridOS

Grid Operating system

38   55   55  

imongo

A MongoDB kernel for Jupyter

14   54   54  

AhnTri

Super-simple OS

10   54   54  

ByteOS

A simple hobby operating system for the x86-64 architecture

16   53   53  

HEVD_Kernel_Exploit

Exploits pack for the Windows Kernel mode driver HackSysExtremeVulnera...

19   53   53  

disfetch

Yet another *nix distro fetching program, but less complex.

2   53   53  

KHeaps

Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exp...

7   52   52  

meetup

Cat System Workshop is a regular meet-up focusing on “system software”...

5   51   51  

nanopi-m4-ubuntu-base-minimal

Nanopi M4 RK3399 base minimal image for development (mali fbdev / gbm)...

10   51   51  

arc

A toy x86-64 kernel.

9   51   51  

perf_kernel

x64 rust multicore kernel optimized for extreme performance at any cos...

11   51   51  

Cat-Driver

CatDriver - The Kernel Mode Driver that written in C++. It is an usefu...

31   51   51