Awesome GitHub RepositoriesVirtualization Configuration

Docker-OSX is a containerized virtualization platform that enables the execution of full operating systems within isolated environments. By leveraging hardware-accelerated hypervisors and machine emulation, the project allows guest operating systems to run with near-native performance, effectively mimicking dedicated physical hardware within a container. The platform distinguishes itself by providing a complete infrastructure for remote desktop and headless management, allowing users to interact with virtualized graphical environments over network protocols. It supports advanced hardware inte

v86 is a browser-based virtual machine and x86 hardware simulator that allows 16-bit and 32-bit operating systems to run directly within a web page. It functions as an x86 emulator for WebAssembly, simulating CPUs, memory, and storage devices to execute legacy software without original native hardware. The project utilizes a WebAssembly just-in-time compiler to translate x86 machine code into WebAssembly modules for high-performance execution in the browser. The system covers hardware emulation and lifecycle management, including the ability to boot from disk images, configure virtual hardwa

Lima is a virtualization engine designed to provision and manage lightweight Linux, macOS, and FreeBSD virtual machines. It functions as a comprehensive virtual machine manager that leverages native hypervisors and system emulation to provide isolated environments for container development, cross-architecture testing, and secure sandboxing. The project distinguishes itself through its template-driven provisioning system, which allows users to define and automate environment configurations via local files or remote URL schemes. It integrates deeply with host systems by providing automated file

This project provides a containerized environment for running a full macOS desktop operating system. It utilizes a hardware-accelerated virtualization engine to execute the guest environment, allowing for the deployment and management of virtual machines through standard container orchestration tools. The platform distinguishes itself by enabling direct hardware passthrough, which maps physical host disks, partitions, and USB controllers directly into the virtual machine for native driver access. It also supports advanced network integration, allowing the guest system to obtain its own unique

WSABuilds is a management framework designed to deploy and customize virtualized mobile runtime environments on desktop operating systems. It provides a comprehensive suite of tools for building, installing, and maintaining these environments, enabling the native execution of mobile applications alongside standard desktop software. The project distinguishes itself through its focus on deep system integration and lifecycle management. It allows users to generate tailored virtual environment packages by injecting administrative tools, service components, and specific configurations prior to dep

Redox is a POSIX-compliant, microkernel-based operating system written entirely in Rust. By utilizing a memory-safe language for the kernel and all system components, the project eliminates common vulnerabilities such as buffer overflows and use-after-free errors. Its architecture relies on a minimal kernel that manages only essential hardware and process isolation, delegating all other system services to unprivileged user-space processes. The system distinguishes itself through a modular design where hardware drivers and system services run as independent user-space daemons, allowing them to

OpenCorePkg is a modular UEFI bootloader designed to initialize hardware and facilitate the loading of modern operating systems on non-standard or unsupported hardware. It functions as a comprehensive firmware emulation environment, providing the necessary runtime services and memory management to bridge the gap between diverse hardware configurations and operating system requirements. The project distinguishes itself through its ability to perform runtime kernel patching and system firmware modification, allowing for the injection of drivers and the manipulation of hardware tables during the

GEF is a Python-based extension for GDB that serves as a framework for binary analysis, exploit development, and low-level debugging. It functions as a dynamic analysis extension designed to assist in reverse engineering workflows and malware analysis by enhancing the debugger's ability to inspect process state and memory. The project is distinguished by its specialized heap analysis tools, which allow for the inspection of glibc heap arenas, bins, and chunks to detect memory corruption. It also provides a dedicated toolkit for exploit development, including cyclic pattern generation for offs

DeskPad is a macOS virtual display manager and window management utility designed to isolate and share specific screen content. It creates software-defined monitors at the operating system level to provide a dedicated drawing surface for mirroring content to an audience without exposing the primary workspace. The tool employs cursor location tracking to automate window focus, automatically bringing application windows to the front when the mouse enters the virtual display area. It allows for the creation and resizing of virtual monitors through system-level preferences to ensure shared conten

Blink is a JIT-based instruction emulator and x86-64 Linux emulator designed to run Linux binaries and ELF files across different host operating systems and architectures. It functions as a binary execution sandbox and system call simulator, providing a controlled environment for running programs. The project distinguishes itself with a terminal user interface for monitoring execution, managing breakpoints, and visualizing JIT compilation paths. It supports self-modifying code through a cache-invalidating memory model and provides execution environment isolation using restricted directory ove

SASM ist eine plattformübergreifende integrierte Entwicklungsumgebung (IDE) zum Schreiben, Assemblieren und Debuggen von Low-Level-Assembler-Code. Sie dient als einheitlicher Editor und Ausführungsablauf für die Assembler-Sprachentwicklung über verschiedene Betriebssysteme hinweg. Die Umgebung unterstützt mehrere Assembler-Sprachen und deren jeweilige Toolchains, einschließlich NASM, MASM, GAS und FASM, innerhalb einer einzigen Schnittstelle. Sie verfügt über einen Debugger auf Binärebene, der das schrittweise Durchlaufen von Anweisungen sowie die Inspektion von CPU-Registern und Variablenzuständen ermöglicht. Das Projekt bietet eine Toolchain-basierte Build-Pipeline und ein Konfigurationssystem zur Auswahl von Assembler- und Linker-Versionen. Es enthält zudem einen Workspace-Manager mit tab-basierter Dokumentenverwaltung und Sitzungspersistenz, um geöffnete Dateien nach einem Neustart wiederherzustellen. Um ein konsistentes Verhalten über Plattformen hinweg sicherzustellen, verwendet die Software einen einheitlichen Wrapper zur Standardisierung von Tastatureingaben und Bildschirmausgaben.

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

parsec-vdd ist ein Manager für virtuelle Anzeigetreiber und ein Emulator für Headless-Server-Displays. Er simuliert aktive, softwaredefinierte Monitore, um Remote-Desktop-Sitzungen und Game-Streaming auf Host-Systemen zu ermöglichen, denen physische Displays fehlen. Das Projekt bietet ein System-Tray-Interface zur Verwaltung des Monitor-Lebenszyklus, das es Benutzern ermöglicht, virtuelle Bildschirme hinzuzufügen oder zu entfernen und Screenshots aufzunehmen. Es ermöglicht die Definition benutzerdefinierter Breiten, Höhen und Bildwiederholraten für diese virtuellen Displays über System-Registry-Presets. Das Tool handhabt die Konfiguration von Anzeigeeigenschaften und überwacht den Gerätestatus mithilfe von Hardware-Identifikatoren. Zudem erhält es die Anzeige-Persistenz durch periodische Heartbeat-Signale aufrecht, um zu verhindern, dass das Betriebssystem die virtuellen Monitore automatisch trennt.

Cloud Hypervisor is a Rust-based hypervisor and KVM virtual machine monitor designed to execute 64-bit guest operating systems. It functions as a user-space virtual machine manager that employs a minimal emulation layer to reduce memory overhead and latency for cloud workloads. The project distinguishes itself through the use of a memory-safe language to implement a virtio device emulator and a user-space device model. It provides a standardized web API for managing virtual machine lifecycles and resource configurations. The platform covers broad virtualization capabilities, including the em

Dieses Projekt ist ein GameBoy-Hardware-Emulator, der den ursprünglichen Prozessor, die Grafik- und Soundsysteme simuliert, um klassische ROMs auszuführen. Er bietet eine Kern-Emulations-Engine, die Anweisungen mittels zyklusgenauer Simulation ausführt, um dem Timing der Originalhardware zu entsprechen. Der Emulator ist für Remote-Play konzipiert und ermöglicht Cloud-Game-Streaming via HTTP und WebSockets. Dies erlaubt kooperatives Remote-Gaming über einen Webbrowser sowie terminalbasiertes Gaming, bei dem der Spielstatus via Telnet gerendert wird. Das System beinhaltet Funktionen für Memory-Mapped-I/O-Emulation und Status-basierte Save-Wiederherstellung, um den Spielfortschritt zu bewahren. Es bietet zudem Diagnosetools für das Debugging des Emulator-Status, die es Benutzern ermöglichen, Breakpoints zu setzen und Speicher- oder Registerzustände während der Laufzeit zu inspizieren.

Dieses Projekt ist eine Konfiguration für einen dynamischen Tiling-Window-Manager und ein automatisierter Desktop-Installer für Linux. Es bietet ein System zur Organisation von Anwendungsfenstern, um den verfügbaren Platz auf dem Bildschirm und die Produktivität zu maximieren, speziell zentriert um eine Hyprland-Desktop-Konfiguration. Die Umgebung verfügt über ein adaptives visuelles Theme, das dominante Farbtöne aus Hintergrundbildern extrahiert, um die globalen Farben des User-Interfaces automatisch zu aktualisieren. Es enthält zudem spezialisierte Optimierungen für virtuelle Maschinen, um Systemstabilität und Performance sicherzustellen. Das Projekt deckt die automatisierte Desktop-Bereitstellung durch Shell-Skripte und Live-Disk-Images ab, was die Installation einer vorkonfigurierten Desktop-Umgebung über mehrere Linux-Distributionen hinweg ermöglicht. Der Deployment-Prozess integriert ein subvolume-basiertes Dateilayout, um Systemwiederherstellung und Zustands-Snapshots zu unterstützen.

This project provides a collection of visual asset packs and automated shell scripts for customizing the appearance of the GRUB2 bootloader on Linux systems. It functions as a complete theme management system, enabling users to install, remove, and select from multiple style variants that change the boot menu's colors, fonts, icons, and layout. The toolset includes dedicated utilities for adjusting the GRUB2 framebuffer resolution to match the monitor's native display, ensuring graphics are properly scaled and aligned. It also offers a background manager that replaces the default boot menu ba

ExHyperV ist eine Suite administrativer Tools für die Verwaltung fortgeschrittener Hyper-V-Konfigurationen, mit speziellem Fokus auf GPU-Partitionierung, Device-Passthrough und virtuelle Netzwerk-Switches. Es bietet eine grafische Oberfläche zur Konfiguration von VM-Ressourcen und zur Optimierung von Hypervisor-Einstellungen. Das Projekt zeichnet sich durch die Fähigkeit aus, physische Grafikkartenressourcen mittels Paravirtualisierung und Partitionierung über mehrere virtuelle Maschinen hinweg zu teilen. Zudem bietet es spezialisierte Hilfsprogramme zur Zuweisung von PCIe-Geräten und USB-Peripheriegeräten direkt an Gastmaschinen für exklusiven Zugriff. Die Software deckt ein breites Spektrum an Virtualisierungsfunktionen ab, darunter CPU-Topologie-Optimierung, Prozessor-Pinning und Speicherzuweisung. Sie umfasst zudem die Verwaltung virtueller Netzwerke durch VLAN-Konfiguration und Virtual-Switch-Administration sowie Speicheroperationen wie Checkpoint-Management und die Erstellung virtueller ISOs. Das Toolkit ermöglicht die Implementierung hardwarebasierter Sicherheit wie Speicherverschlüsselung und Intel SGX Enclaves und unterstützt verschachtelte Virtualisierung durch das Durchreichen von CPU-Virtualisierungserweiterungen.

Displayplacer is a command-line tool for managing multi-monitor display layouts on macOS. It enables users to save, apply, and automate screen configurations including resolution, rotation, arrangement, and mirroring settings entirely from the terminal without requiring a graphical interface. The tool identifies displays using persistent hardware IDs rather than port-based identifiers, allowing layouts to be restored consistently across reconnections and reboots. It supports headless display configuration, enabling or disabling monitors, rotating internal and external displays, and designatin

HyperDbg is a hardware-assisted kernel-mode debugging platform that leverages virtualization to monitor and control system execution. By utilizing hypervisor-level primitives, it enables deep system analysis and instrumentation without relying on standard operating system debugging interfaces. The framework provides a comprehensive environment for inspecting both kernel and user-mode processes, allowing for granular control over execution flow and system state. The project distinguishes itself through a transparent debugging layer designed to remain invisible to the target environment. It emp