408 Open source projects that are alternatives of or similar to zen-kernel

🍬 All-new kernel for @GreenteaOS

kHypervisor is a lightweight bluepill-like nested VMM for Windows, it provides and emulating a basic function of Intel VT-x

Open Source Rust kernel; Runs WASM and WASI as lightweight containers.

A secure embedded operating system for microcontrollers

This is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.

Master list of all my vulnerability discoveries. Mostly 3rd party kernel drivers.

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

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 (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a h…

SerenityOS is a love letter to '90s user interfaces with a custom Unix-like core. It flatters with sincerity by stealing beautiful ideas from various other systems.

SystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root

64 bit monolithic nt-style kernel

A small kernel + OS based on how dreams work

Ultibo Core

A polyglot kernel for Jupyter notebooks based on GraalVM.

A flexible Python 2/3 Kconfig implementation and library

Supports de cours

an experimental 64-bit operating system

Sphinx Custom Kernel for Pocophone F1 (Beryllium)

Linux kernel 3.10 forked from Nvidia Linux4Tegra for the TX1. Branches for L4T 24.2.1. Also available: 23.1 (DEPRECATED), 24.1 (DEPRECATED).

QuicksilveR Kernel Source For Xiaomi Redmi Note 8/8T, Fork of https://github.com/ghostrider-reborn/android_kernel_xiaomi_ginkgo

Fast and Easy Infinite Neural Networks in Python

A simple hobby operating system for the x86-64 architecture, written in C.

网易云课堂选的操作系统课实验的代码及相关记录

Continuous integration for the Linux Kernel - Built within Docker

Collection of resources for my preparation to take the OSEE certification.

Rust implementation of Xinu educational operating system

Yet another hobby x86 UNIX-like operating system written in C and C++. Features a dynamically linked userspace, an in-house c standard library, and more! And yes, it runs DOOM.

RocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.

HackSys Extreme Vulnerable Windows Driver

An AArch64 hobbyist OS for the Raspberry Pi 3 B+

🔩 Automatically script to setup and configure your NVIDIA Jetson [Nano, Xavier, TX2i, TX2, TX1, TK1] . This script run different modules to update, fix and patch the kernel, install ROS and other...

Linux kernel PPS generator using GPIO pins

Kernel Test Framework

Just another (unfinished) kernel from scratch...

A WIP 64-bit UNIX-like kernel

Linux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool

A free Windows-compatible Operating System

My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.

Prototyping kernel development work outside mainline

A community driven OS by the youth

Operating System

A small operating system where I experiment and learn osdev.

A simple "Unix-like" kernel trying to be POSIX compliant

Simple microkernel (early stage)

A modern experimental OS written from scratch in Rust to explore novel OS structure, state management techniques, and how to maximally leverage the power of language by shifting OS responsibilities into the compiler.

source code audit tool

A fuzzer for full VM kernel/driver targets

BTFHub, together with BTFHub Archive repository, provides BTF files for existing published kernels that don't support embedded BTF.

OPAL boot and runtime firmware for POWER

GDB plug-in that helps exploiting the Linux kernel's SLUB allocator

TN3399_V3 开发板折腾记录

A heavily commented linux kernel source code in Chinese.

Jupyter kernel for Coq

Some usefull info when reverse engineering Kernel Mode Anti-Cheat

Open Source for Allwinner V3S

Hobbyist Operating System targeting x86_64 systems. Includes userspace, Virtual File System, An InitFS (tarfs), Lua port, easy porting, a decent LibC and LibM, and a shell that supports: piping, file redirection, and more.

KVM based tiny x86 hypervisor written in pure golang, which can boot Linux

An UNIX-like toy operating system runs on x86 CPU

中文注释说明内核源码

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels