436 Open source projects that are alternatives of or similar to awesome-unikernels

MirageOS is a library operating system that constructs unikernels

Implementation of XMPP for MirageOS

Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)

An opiniated file-system for MirageOS

Secure HSM implementation based on MirageOS

This repository contains the source code of the unikernel toro

A playground to build C/C++/Go/Fortran applications on top of RustyHermit

A repository of basic and advanced examples using Ops

Nautilus Aerokernel

A minimal setup for writing Unikernels in ReasonML

OCaml implementation of the DNS protocol

A Go unikernel running on x86 bare metal

HermitCore: A C-based, lightweight unikernel

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

Ultibo Core

A TLS termination proxy as a MirageOS

Microkernel and userspace written in Rust exploring modern ideas

Examples for: Learning KVM - implement your own kernel

KSOCKET provides a very basic example how to make a network connections in the Windows Driver by using WSK

A project that demonstrates how to screw with CSGO from Kernel Space. (CSGO Kernel Cheat/Hack) All cleaned up, and with updated offsets.

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

The Stupid Operating System

Shadow-Box: Lightweight and Practical Kernel Protector for x86 (Presented at BlackHat Asia 2017/2018, beVX 2018 and HITBSecConf 2017)

Linux kernel stable tree mirror

A teaching operating system written in Rust

Lua in kernel-mode because why not.

A simple, clean code, multi-tasking operating system written in pure assembly language for 64-bit processors from the AMD64 family.

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

MollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to any architecture. It currently targets the x86-32 and x86-64 platform.

github.com/ssrg-vt/hermitux

An x86 kernel written in Zig

🔩 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 4.16 on Chromebook Pixel 2015

OCaml library for reporting metrics to a Prometheus server

Experimental operating system written in Zig

Prototyping kernel development work outside mainline

Ultra Kernel Samepage Merging

Kernel for z80 calculators

A fuzzer for full VM kernel/driver targets

Windows Kernel Drivers fuzzer

Research on Windows Kernel Executive Callback Objects

Operating system in C written for fun and glory

👷 Utilities to compile and / or update linux kernels for Debian and derivatives (e.g. Ubuntu, LinuxMint, etc.)

schedule and materials about my presentations

🏆 A full-stack component-based MVC kernel for PHP that helps you write powerful and modern web applications. Write less, have cleaner code and your work will bring you joy.

(unofficial) Hyper-V® Development Kit

Patchman is a Linux Patch Status Monitoring System

Spoofing the Windows 10 HDD/diskdrive serialnumber from kernel without hooking

Android Loadable Kernel Modules - mostly used for reversing and debugging on controlled systems/emulators

💾 A minimal kernel (just a hobby, won't be big and professional). // Work In Progress

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

Frosted: Free POSIX OS for tiny embedded devices

The Synestia Operating System

Linux0.12内核代码中文注释+在高版本GCC 5.4.0 + Ubuntu 16.04中编译成功并在Bochs正常测试运行

Linux local root exploit for CVE-2014-0038

Horizon/NX kernel reimplementation

use windows kernel deriver hidden file and itself to Bypass BE

Capstan, a tool for packaging and running your application on OSv.

Fully chained kernel exploit for the PS Vita on firmwares 3.65-3.73

"It is very special"