555 Open source projects that are alternatives of or similar to Hyperkernel

一个自制的树莓派操作系统

A free Windows-compatible Operating System

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

Operating System

Based on linux0.11, break it down, then reassemble (For NEU Lab use)

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.

A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.

OPAL boot and runtime firmware for POWER

DJY Nethunter And Andrax Kernel Oneplus6-Oneplus6T

Temporal Logic Planning toolbox

AuraOS, the Franco-English Operating System developed in C# using Cosmos!

A Go unikernel running on x86 bare metal

A no-nonsense kernel tweak script for Linux and Android systems, backed by evidence.

The distributed exokernel operating system

[Deprecated] Symfony Async Kernel adpater

Tools to let a u-root instance boot signed live distro images over the web

Armbian Linux build framework

Ever wanted to execute PHP in your kernel driver? Look no further!

ECMAScript verification with SMT solvers

The Darwin Kernel (mirror). This repository is a pure mirror and contributions are currently not accepted via pull-requests, please submit your contributions via https://developer.apple.com/bug-reporting/

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

My Operating System.

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Standard Subresource Integrity library for Node.js

NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.

JingOS - The World’s First Linux-based OS design for Tablets

Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)

multiplayer arcade game for bare metal Raspberry Pi 3 B+

WNF Utilities 4 Newbies (WNFUN)

Pine64 Linux Kernel

oneOS

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Methods to compute sets of states reachable by dynamical systems

A List of Free and Open Source Hardware Verification Tools and Frameworks

Verifying concurrent crash-safe systems

Cogent Project

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

🎮 Source code of ring0/ring3 cheats in Counter-Strike Global Offensive

Autonomous delivery robot with turtlebot3 and Jetson TX2

dahliaOS ISO releases

myLinux is a small UNIX like OS for embedded systems based on Westermo NetBox

an experimental 64-bit operating system

A 64-bit SMP-safe kernel for the PC architecture.

中文注释说明内核源码

Automatic SMS Verification with the SMS Retriever API

HACL*, a formally verified cryptographic library written in F*

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload, and more!

Repository has been moved! https://postmarketos.org/move.html#/pmbootstrap 🚚 🚚 🚚

Fuzzers for the Linux kernel

Sian's Operating System

Simple kernel module to inspect socket options

💥 BoneOS Kernel and Operating System Source Tree

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

nftables load balancer

Canadian Furious Beaver is a tool for hijacking IRPs handler in Windows drivers, and facilitating the process of analyzing Windows drivers for vulnerabilities

The history of Windows Internals via symbols.

An operating system written in C

iPod usb gadget for audio playback