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 es un entorno de desarrollo integrado multiplataforma para escribir, ensamblar y depurar código ensamblador de bajo nivel. Sirve como un editor unificado y flujo de ejecución para el desarrollo en lenguaje ensamblador en diferentes sistemas operativos. El entorno admite múltiples lenguajes ensambladores y sus respectivas cadenas de herramientas, incluyendo NASM, MASM, GAS y FASM, dentro de una única interfaz. Cuenta con un depurador a nivel binario que permite recorrer instrucciones paso a paso e inspeccionar registros de CPU y estados de variables. El proyecto proporciona un pipeline de compilación basado en cadenas de herramientas y un sistema de configuración para seleccionar versiones de ensamblador y enlazador. También incluye un gestor de espacios de trabajo con gestión de documentos basada en pestañas y persistencia de sesión para restaurar archivos abiertos al reiniciar. Para garantizar un comportamiento consistente entre plataformas, el software emplea un envoltorio unificado para estandarizar la entrada de teclado y la salida de pantalla.

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 es un gestor de controladores de pantalla virtual y emulador de pantalla para servidores headless. Simula monitores activos definidos por software para permitir sesiones de escritorio remoto y streaming de juegos en sistemas host que carecen de pantallas físicas. El proyecto proporciona una interfaz en la bandeja del sistema para gestionar el ciclo de vida del monitor, permitiendo a los usuarios añadir o eliminar pantallas virtuales y capturar capturas de pantalla. Permite la definición de anchos, alturas y frecuencias de actualización personalizados para estas pantallas virtuales mediante preajustes del registro del sistema. La herramienta maneja la configuración de propiedades de pantalla y monitoriza el estado del dispositivo utilizando identificadores de hardware. También mantiene la persistencia de la pantalla mediante señales de latido (heartbeat) periódicas para evitar que el sistema operativo desconecte automáticamente los monitores virtuales.

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

Este proyecto es un emulador de hardware de GameBoy que simula el procesador, los gráficos y los sistemas de sonido originales para ejecutar ROMs antiguas. Proporciona un motor de emulación central que ejecuta instrucciones utilizando una simulación precisa por ciclo para coincidir con la sincronización del hardware original. El emulador está diseñado para el juego remoto, permitiendo el streaming de juegos en la nube a través de HTTP y WebSockets. Esto permite el juego cooperativo remoto a través de un navegador web y juegos basados en terminal donde el estado del juego se renderiza mediante telnet. El sistema incluye capacidades para la emulación de E/S mapeada en memoria y la restauración de estados guardados para preservar el progreso del juego. También proporciona herramientas de diagnóstico para la depuración del estado del emulador, permitiendo a los usuarios establecer puntos de interrupción e inspeccionar estados de memoria o registros durante la ejecución.

Este proyecto es una configuración de gestor de ventanas de mosaico dinámico y un instalador de escritorio automatizado para Linux. Proporciona un sistema para organizar ventanas de aplicaciones para maximizar el espacio en pantalla y la productividad, centrado específicamente en una configuración de escritorio Hyprland. El entorno cuenta con un tema visual adaptativo que extrae tonos dominantes de los fondos de pantalla para actualizar automáticamente los colores de la interfaz de usuario global. También incluye optimizaciones especializadas para entornos de máquinas virtuales para garantizar la estabilidad y el rendimiento del sistema. El proyecto cubre el despliegue automatizado de escritorio a través de scripts de shell e imágenes de disco en vivo, permitiendo la instalación de un entorno de escritorio preconfigurado en múltiples distribuciones de Linux. El proceso de despliegue incorpora un diseño de archivos basado en subvolúmenes para soportar la recuperación del sistema y instantáneas de estado.

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 es un conjunto de herramientas administrativas diseñadas para gestionar configuraciones avanzadas de Hyper-V, centrándose específicamente en la partición de GPU, paso a través de dispositivos (device passthrough) y conmutadores de red virtual. Proporciona una interfaz gráfica para configurar los recursos de la máquina virtual y optimizar la configuración del hipervisor. El proyecto se distingue por su capacidad para compartir recursos de tarjetas gráficas físicas entre múltiples máquinas virtuales utilizando paravirtualización y partición. También proporciona utilidades especializadas para asignar dispositivos PCIe y periféricos USB directamente a las máquinas invitadas para un acceso exclusivo. El software cubre una amplia gama de capacidades de virtualización, incluyendo la optimización de la topología de CPU, fijación de procesador (processor pinning) y asignación de memoria. También incluye la gestión de redes virtuales a través de la configuración de VLAN y la administración de conmutadores virtuales, así como operaciones de almacenamiento como la gestión de puntos de control y la creación de ISO virtuales. El kit de herramientas permite la implementación de seguridad basada en hardware como el cifrado de memoria y enclaves Intel SGX, y admite la virtualización anidada mediante el paso a través de extensiones de virtualización de CPU.

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